{"id":"https://openalex.org/W7166321188","doi":"https://doi.org/10.5281/zenodo.20951726","title":"The General Science of Reflexive Systems: Nonexhaustibility, Completion Failure, and Residual Structure","display_name":"The General Science of Reflexive Systems: Nonexhaustibility, Completion Failure, and Residual Structure","publication_year":2026,"publication_date":"2026-06-26","ids":{"openalex":"https://openalex.org/W7166321188","doi":"https://doi.org/10.5281/zenodo.20951726"},"language":"en","primary_location":{"id":"doi:10.5281/zenodo.20951726","doi":"https://doi.org/10.5281/zenodo.20951726","is_oa":true,"landing_page_url":"https://doi.org/10.5281/zenodo.20951726","pdf_url":null,"source":{"id":"https://openalex.org/S4306400562","display_name":"Zenodo (CERN European Organization for Nuclear Research)","issn_l":null,"issn":null,"is_oa":true,"is_in_doaj":false,"is_core":false,"listed_in":[],"host_organization":"https://openalex.org/I67311998","host_organization_name":"European Organization for Nuclear Research","host_organization_lineage":["https://openalex.org/I67311998"],"host_organization_lineage_names":[],"type":"repository"},"license":"cc-by-nc-nd","license_id":"https://openalex.org/licenses/cc-by-nc-nd","version":null,"is_accepted":false,"is_published":false,"raw_source_name":null,"raw_type":"Preprint"},"volume":null,"type":"preprint","indexed_in":["datacite"],"open_access":{"is_oa":true,"oa_status":"green","oa_url":"https://doi.org/10.5281/zenodo.20951726","any_repository_has_fulltext":true},"authorships":[{"author_position":"first","author":{"id":"https://openalex.org/A5132989407","display_name":"Nova Spivack","orcid":null,"observed_orcids":[]},"institutions":[],"countries":[],"is_corresponding":true,"raw_author_name":"Spivack, Nova","raw_affiliation_strings":[],"raw_orcid":null,"affiliations":[]}],"institutions":[],"countries_distinct_count":0,"institutions_distinct_count":0,"corresponding_author_ids":["https://openalex.org/A5132989407"],"corresponding_institution_ids":[],"apc_list":null,"apc_paid":null,"fwci":null,"has_fulltext":false,"cited_by_count":0,"citation_normalized_percentile":null,"cited_by_percentile_year":null,"biblio":{"volume":null,"issue":null,"first_page":null,"last_page":null},"is_retracted":false,"is_paratext":false,"is_xpac":false,"primary_topic":{"id":"https://openalex.org/T10126","display_name":"Logic, programming, and type systems","score":0.38839998841285706,"subfield":{"id":"https://openalex.org/subfields/1702","display_name":"Artificial Intelligence"},"field":{"id":"https://openalex.org/fields/17","display_name":"Computer Science"},"domain":{"id":"https://openalex.org/domains/3","display_name":"Physical Sciences"}},"topics":[{"id":"https://openalex.org/T10126","display_name":"Logic, programming, and type systems","score":0.38839998841285706,"subfield":{"id":"https://openalex.org/subfields/1702","display_name":"Artificial Intelligence"},"field":{"id":"https://openalex.org/fields/17","display_name":"Computer Science"},"domain":{"id":"https://openalex.org/domains/3","display_name":"Physical Sciences"}},{"id":"https://openalex.org/T12002","display_name":"Computability, Logic, AI Algorithms","score":0.1800999939441681,"subfield":{"id":"https://openalex.org/subfields/1703","display_name":"Computational Theory and Mathematics"},"field":{"id":"https://openalex.org/fields/17","display_name":"Computer Science"},"domain":{"id":"https://openalex.org/domains/3","display_name":"Physical Sciences"}},{"id":"https://openalex.org/T11151","display_name":"Advanced Topology and Set Theory","score":0.16979999840259552,"subfield":{"id":"https://openalex.org/subfields/2608","display_name":"Geometry and Topology"},"field":{"id":"https://openalex.org/fields/26","display_name":"Mathematics"},"domain":{"id":"https://openalex.org/domains/3","display_name":"Physical Sciences"}}],"keywords":[{"id":"https://openalex.org/keywords/reflexive-systems","display_name":"reflexive systems","score":1.0},{"id":"https://openalex.org/keywords/self-representation","display_name":"self-representation","score":0.9610000252723694},{"id":"https://openalex.org/keywords/self-certification","display_name":"self-certification","score":0.9390000104904175},{"id":"https://openalex.org/keywords/residual-structure","display_name":"residual structure","score":0.9629999995231628},{"id":"https://openalex.org/keywords/lean-4-formal-verification","display_name":"Lean 4 formal verification","score":0.6100000143051147}],"concepts":[{"id":"https://openalex.org/C13200473","wikidata":"https://www.wikidata.org/wiki/Q2747831","display_name":"Reflexivity","level":2,"score":0.9174000024795532},{"id":"https://openalex.org/C155512373","wikidata":"https://www.wikidata.org/wiki/Q287450","display_name":"Residual","level":2,"score":0.5874999761581421},{"id":"https://openalex.org/C111472728","wikidata":"https://www.wikidata.org/wiki/Q9471","display_name":"Epistemology","level":1,"score":0.507099986076355},{"id":"https://openalex.org/C2778572836","wikidata":"https://www.wikidata.org/wiki/Q380933","display_name":"Space (punctuation)","level":2,"score":0.40529999136924744},{"id":"https://openalex.org/C33923547","wikidata":"https://www.wikidata.org/wiki/Q395","display_name":"Mathematics","level":0,"score":0.39969998598098755},{"id":"https://openalex.org/C150104678","wikidata":"https://www.wikidata.org/wiki/Q953129","display_name":"Reflexive pronoun","level":2,"score":0.36340001225471497},{"id":"https://openalex.org/C2777686260","wikidata":"https://www.wikidata.org/wiki/Q144037","display_name":"Calculus (dental)","level":2,"score":0.3612000048160553},{"id":"https://openalex.org/C144237770","wikidata":"https://www.wikidata.org/wiki/Q747534","display_name":"Mathematical economics","level":1,"score":0.33079999685287476},{"id":"https://openalex.org/C41008148","wikidata":"https://www.wikidata.org/wiki/Q21198","display_name":"Computer science","level":0,"score":0.31610000133514404},{"id":"https://openalex.org/C136119220","wikidata":"https://www.wikidata.org/wiki/Q1000660","display_name":"Algebra over a field","level":2,"score":0.3012000024318695},{"id":"https://openalex.org/C81917197","wikidata":"https://www.wikidata.org/wiki/Q628760","display_name":"Selection (genetic algorithm)","level":2,"score":0.27079999446868896},{"id":"https://openalex.org/C127413603","wikidata":"https://www.wikidata.org/wiki/Q11023","display_name":"Engineering","level":0,"score":0.2522999942302704}],"mesh":[],"locations_count":2,"locations":[{"id":"doi:10.5281/zenodo.20951726","doi":"https://doi.org/10.5281/zenodo.20951726","is_oa":true,"landing_page_url":"https://doi.org/10.5281/zenodo.20951726","pdf_url":null,"source":{"id":"https://openalex.org/S4306400562","display_name":"Zenodo (CERN European Organization for Nuclear Research)","issn_l":null,"issn":null,"is_oa":true,"is_in_doaj":false,"is_core":false,"listed_in":[],"host_organization":"https://openalex.org/I67311998","host_organization_name":"European Organization for Nuclear Research","host_organization_lineage":["https://openalex.org/I67311998"],"host_organization_lineage_names":[],"type":"repository"},"license":"cc-by-nc-nd","license_id":"https://openalex.org/licenses/cc-by-nc-nd","version":null,"is_accepted":false,"is_published":null,"raw_source_name":null,"raw_type":"Preprint"},{"id":"doi:10.5281/zenodo.20951727","doi":"https://doi.org/10.5281/zenodo.20951727","is_oa":true,"landing_page_url":"https://doi.org/10.5281/zenodo.20951727","pdf_url":null,"source":{"id":"https://openalex.org/S4306400562","display_name":"Zenodo (CERN European Organization for Nuclear Research)","issn_l":null,"issn":null,"is_oa":true,"is_in_doaj":false,"is_core":false,"listed_in":[],"host_organization":"https://openalex.org/I67311998","host_organization_name":"European Organization for Nuclear Research","host_organization_lineage":["https://openalex.org/I67311998"],"host_organization_lineage_names":[],"type":"repository"},"license":"cc-by-nc-nd","license_id":"https://openalex.org/licenses/cc-by-nc-nd","version":null,"is_accepted":false,"is_published":null,"raw_source_name":null,"raw_type":"Preprint"}],"best_oa_location":{"id":"doi:10.5281/zenodo.20951726","doi":"https://doi.org/10.5281/zenodo.20951726","is_oa":true,"landing_page_url":"https://doi.org/10.5281/zenodo.20951726","pdf_url":null,"source":{"id":"https://openalex.org/S4306400562","display_name":"Zenodo (CERN European Organization for Nuclear Research)","issn_l":null,"issn":null,"is_oa":true,"is_in_doaj":false,"is_core":false,"listed_in":[],"host_organization":"https://openalex.org/I67311998","host_organization_name":"European Organization for Nuclear Research","host_organization_lineage":["https://openalex.org/I67311998"],"host_organization_lineage_names":[],"type":"repository"},"license":"cc-by-nc-nd","license_id":"https://openalex.org/licenses/cc-by-nc-nd","version":null,"is_accepted":false,"is_published":false,"raw_source_name":null,"raw_type":"Preprint"},"sustainable_development_goals":[],"sustainable_development_goals_aurora":[{"display_name":"Peace, justice, and strong institutions","score":0.7809317708015442,"id":"https://metadata.un.org/sdg/16"}],"study_designs":[],"awards":[],"funders":[],"has_content":{"grobid_xml":false,"pdf":false},"content_urls":null,"referenced_works_count":0,"referenced_works":[],"related_works":[],"abstract_inverted_index":{"This":[0],"paper":[1,73],"develops":[2],"a":[3,12],"general":[4],"science":[5],"of":[6,80,100],"reflexive":[7,82],"systems:":[8],"systems":[9,83],"that,":[10],"in":[11],"mathematically":[13],"nontrivial":[14],"sense,":[15],"represent,":[16],"evaluate,":[17],"certify,":[18],"locate,":[19],"or":[20],"attempt":[21],"to":[22],"complete":[23],"themselves":[24],"from":[25],"within.":[26],"The":[27,72],"same":[28],"structural":[29],"tensions":[30],"recur":[31],"wherever":[32],"serious":[33],"self-representation,":[34],"internal":[35,47],"generation,":[36],"and":[37,59,92],"self-certification":[38],"meet.":[39],"Its":[40],"central":[41],"claim":[42],"is":[43,49],"that":[44],"strong":[45],"anchored":[46,52],"completion":[48,53],"systematically":[50],"obstructed:":[51],"limits,":[54],"barrier":[55],"families,":[56],"residual":[57,95],"aftermath,":[58],"the":[60,75,98],"Reflexive":[61],"Development":[62],"Law":[63],"are":[64],"all":[65,101],"proved":[66],"as":[67],"machine-checked":[68],"Lean":[69],"4":[70],"theorems.":[71],"provides":[74],"first":[76],"unified":[77],"mathematical":[78],"treatment":[79],"why":[81],"cannot":[84],"exhaust":[85],"themselves,":[86],"what":[87],"structure":[88,96],"remains":[89],"after":[90],"obstruction,":[91],"how":[93],"this":[94],"organizes":[97],"space":[99],"possible":[102],"completions.":[103]},"counts_by_year":[],"updated_date":"2026-10-07T09:51:55.459714","created_date":"2026-06-28T00:00:00"}