{"id":"https://openalex.org/W7165846619","doi":"https://doi.org/10.48550/arxiv.2606.24909","title":"Closure Atlases and Local-to-Global Obstructions in Finite Closure Systems","display_name":"Closure Atlases and Local-to-Global Obstructions in Finite Closure Systems","publication_year":2026,"publication_date":"2026-06-19","ids":{"openalex":"https://openalex.org/W7165846619","doi":"https://doi.org/10.48550/arxiv.2606.24909"},"language":null,"primary_location":{"id":"doi:10.48550/arxiv.2606.24909","is_oa":true,"landing_page_url":"https://doi.org/10.48550/arxiv.2606.24909","pdf_url":null,"source":{"id":"https://openalex.org/S4306400194","display_name":"arXiv (Cornell University)","issn_l":null,"issn":null,"is_oa":true,"is_in_doaj":false,"is_core":false,"host_organization":"https://openalex.org/I205783295","host_organization_name":"Cornell University","host_organization_lineage":["https://openalex.org/I205783295"],"host_organization_lineage_names":[],"type":"repository"},"license":"cc-by","license_id":"https://openalex.org/licenses/cc-by","version":null,"is_accepted":false,"is_published":false,"raw_source_name":null,"raw_type":"Preprint"},"type":"preprint","indexed_in":["datacite"],"open_access":{"is_oa":true,"oa_status":"green","oa_url":"https://doi.org/10.48550/arxiv.2606.24909","any_repository_has_fulltext":true},"authorships":[{"author_position":"first","author":{"id":"https://openalex.org/A5124760370","display_name":"Jaehwan Kim","orcid":null},"institutions":[],"countries":[],"is_corresponding":true,"raw_author_name":"Kim, Jaehwan","raw_affiliation_strings":[],"raw_orcid":null,"affiliations":[]}],"institutions":[],"countries_distinct_count":0,"institutions_distinct_count":0,"corresponding_author_ids":["https://openalex.org/A5124760370"],"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/T10258","display_name":"Philosophy and Theoretical Science","score":0.13369999825954437,"subfield":{"id":"https://openalex.org/subfields/3205","display_name":"Experimental and Cognitive Psychology"},"field":{"id":"https://openalex.org/fields/32","display_name":"Psychology"},"domain":{"id":"https://openalex.org/domains/2","display_name":"Social Sciences"}},"topics":[{"id":"https://openalex.org/T10258","display_name":"Philosophy and Theoretical Science","score":0.13369999825954437,"subfield":{"id":"https://openalex.org/subfields/3205","display_name":"Experimental and Cognitive Psychology"},"field":{"id":"https://openalex.org/fields/32","display_name":"Psychology"},"domain":{"id":"https://openalex.org/domains/2","display_name":"Social Sciences"}},{"id":"https://openalex.org/T10142","display_name":"Formal Methods in Verification","score":0.12620000541210175,"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/T11010","display_name":"Logic, Reasoning, and Knowledge","score":0.06809999793767929,"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"}}],"keywords":[{"id":"https://openalex.org/keywords/closure","display_name":"Closure (psychology)","score":0.8748000264167786},{"id":"https://openalex.org/keywords/closure-operator","display_name":"Closure operator","score":0.6908000111579895},{"id":"https://openalex.org/keywords/space","display_name":"Space (punctuation)","score":0.4510999917984009},{"id":"https://openalex.org/keywords/calculus","display_name":"Calculus (dental)","score":0.40450000762939453},{"id":"https://openalex.org/keywords/completeness","display_name":"Completeness (order theory)","score":0.3882000148296356},{"id":"https://openalex.org/keywords/finite-set","display_name":"Finite set","score":0.3605000078678131},{"id":"https://openalex.org/keywords/representation","display_name":"Representation (politics)","score":0.3328999876976013},{"id":"https://openalex.org/keywords/spurious-relationship","display_name":"Spurious relationship","score":0.32420000433921814}],"concepts":[{"id":"https://openalex.org/C146834321","wikidata":"https://www.wikidata.org/wiki/Q2979672","display_name":"Closure (psychology)","level":2,"score":0.8748000264167786},{"id":"https://openalex.org/C33923547","wikidata":"https://www.wikidata.org/wiki/Q395","display_name":"Mathematics","level":0,"score":0.7217000126838684},{"id":"https://openalex.org/C160771489","wikidata":"https://www.wikidata.org/wiki/Q10564851","display_name":"Closure operator","level":3,"score":0.6908000111579895},{"id":"https://openalex.org/C2778572836","wikidata":"https://www.wikidata.org/wiki/Q380933","display_name":"Space (punctuation)","level":2,"score":0.4510999917984009},{"id":"https://openalex.org/C2777686260","wikidata":"https://www.wikidata.org/wiki/Q144037","display_name":"Calculus (dental)","level":2,"score":0.40450000762939453},{"id":"https://openalex.org/C17231256","wikidata":"https://www.wikidata.org/wiki/Q5156540","display_name":"Completeness (order theory)","level":2,"score":0.3882000148296356},{"id":"https://openalex.org/C202444582","wikidata":"https://www.wikidata.org/wiki/Q837863","display_name":"Pure mathematics","level":1,"score":0.36340001225471497},{"id":"https://openalex.org/C162392398","wikidata":"https://www.wikidata.org/wiki/Q272404","display_name":"Finite set","level":2,"score":0.3605000078678131},{"id":"https://openalex.org/C2776359362","wikidata":"https://www.wikidata.org/wiki/Q2145286","display_name":"Representation (politics)","level":3,"score":0.3328999876976013},{"id":"https://openalex.org/C97256817","wikidata":"https://www.wikidata.org/wiki/Q1462316","display_name":"Spurious relationship","level":2,"score":0.32420000433921814},{"id":"https://openalex.org/C135628077","wikidata":"https://www.wikidata.org/wiki/Q220184","display_name":"Finite element method","level":2,"score":0.3158000111579895},{"id":"https://openalex.org/C106487976","wikidata":"https://www.wikidata.org/wiki/Q685816","display_name":"Matrix (chemical analysis)","level":2,"score":0.31299999356269836},{"id":"https://openalex.org/C164953516","wikidata":"https://www.wikidata.org/wiki/Q320357","display_name":"Closed set","level":2,"score":0.3093000054359436},{"id":"https://openalex.org/C2781089630","wikidata":"https://www.wikidata.org/wiki/Q21856745","display_name":"Realization (probability)","level":2,"score":0.29260000586509705},{"id":"https://openalex.org/C99679407","wikidata":"https://www.wikidata.org/wiki/Q56761637","display_name":"Substructure","level":2,"score":0.289000004529953},{"id":"https://openalex.org/C17020691","wikidata":"https://www.wikidata.org/wiki/Q139677","display_name":"Operator (biology)","level":5,"score":0.2809999883174896},{"id":"https://openalex.org/C527412718","wikidata":"https://www.wikidata.org/wiki/Q855395","display_name":"Interpretation (philosophy)","level":2,"score":0.2754000127315521},{"id":"https://openalex.org/C182327082","wikidata":"https://www.wikidata.org/wiki/Q428290","display_name":"Algebraic closure","level":5,"score":0.2623000144958496}],"mesh":[],"locations_count":1,"locations":[{"id":"doi:10.48550/arxiv.2606.24909","is_oa":true,"landing_page_url":"https://doi.org/10.48550/arxiv.2606.24909","pdf_url":null,"source":{"id":"https://openalex.org/S4306400194","display_name":"arXiv (Cornell University)","issn_l":null,"issn":null,"is_oa":true,"is_in_doaj":false,"is_core":false,"host_organization":"https://openalex.org/I205783295","host_organization_name":"Cornell University","host_organization_lineage":["https://openalex.org/I205783295"],"host_organization_lineage_names":[],"type":"repository"},"license":"cc-by","license_id":"https://openalex.org/licenses/cc-by","version":null,"is_accepted":false,"is_published":null,"raw_source_name":null,"raw_type":"Preprint"}],"best_oa_location":{"id":"doi:10.48550/arxiv.2606.24909","is_oa":true,"landing_page_url":"https://doi.org/10.48550/arxiv.2606.24909","pdf_url":null,"source":{"id":"https://openalex.org/S4306400194","display_name":"arXiv (Cornell University)","issn_l":null,"issn":null,"is_oa":true,"is_in_doaj":false,"is_core":false,"host_organization":"https://openalex.org/I205783295","host_organization_name":"Cornell University","host_organization_lineage":["https://openalex.org/I205783295"],"host_organization_lineage_names":[],"type":"repository"},"license":"cc-by","license_id":"https://openalex.org/licenses/cc-by","version":null,"is_accepted":false,"is_published":false,"raw_source_name":null,"raw_type":"Preprint"},"sustainable_development_goals":[{"display_name":"Reduced inequalities","id":"https://metadata.un.org/sdg/10","score":0.8115981817245483}],"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,47],"paper":[1,125],"studies":[2],"finite":[3,8,22,91,120,137],"closure":[4,26,30,38,48,53,83,92,110,138,182,255],"operators":[5,39],"on":[6],"overlapping":[7],"universes":[9],"and":[10,121,149,170,214,241],"gives":[11,202],"an":[12,140,250],"exact":[13],"local-to-global":[14],"obstruction":[15,61,103,117],"criterion":[16],"for":[17,167],"conservative":[18,97,114],"globalization.":[19],"Given":[20],"a":[21,63,73,90,95,136,203],"family":[23],"of":[24,156,175,252],"local":[25,37,225],"systems,":[27],"its":[28],"atlas-generated":[29,109,234],"is":[31,49,62,76,112,119,164,238,246],"obtained":[32],"by":[33,66,79,153,194,229],"repeatedly":[34],"applying":[35],"the":[36,41,50,108,113,128,133,154,171,180,211,233,243,253],"to":[40],"parts":[42],"visible":[43],"in":[44,105],"each":[45,151],"chart.":[46],"least":[51],"global":[52,68,96],"operator":[54],"extending":[55],"all":[56,176],"chart":[57,74],"closures.":[58],"A":[59,199],"chart-visible":[60],"consequence":[64,163,183],"produced":[65],"this":[67],"propagation":[69],"that":[70,80,89,106],"lies":[71],"inside":[72],"but":[75],"not":[77],"validated":[78],"chart's":[81],"own":[82],"operator.":[84],"The":[85,116,124,236],"main":[86],"theorem":[87],"proves":[88],"atlas":[93],"has":[94],"realization":[98],"exactly":[99],"when":[100],"no":[101],"such":[102],"occurs;":[104],"case":[107],"itself":[111],"realization.":[115],"condition":[118],"directly":[122],"computable.":[123],"also":[126],"records":[127],"indexed":[129,141,173,186],"representation":[130],"layer":[131],"motivating":[132],"terminology.":[134],"For":[135],"system,":[139],"truth":[142],"space":[143,174],"selects":[144],"closed":[145,158,177,197,226],"theories":[146,159,178,227],"as":[147,249],"contexts":[148],"represents":[150],"element":[152],"region":[155,168,192],"selected":[157],"containing":[160],"it.":[161],"Closure":[162],"always":[165],"sound":[166],"inclusion,":[169],"full":[172],"recovers":[179],"original":[181],"exactly;":[184],"reduced":[185],"spaces":[187],"can":[188],"therefore":[189],"create":[190],"spurious":[191],"consequences":[193],"deleting":[195],"separating":[196],"theories.":[198],"formal":[200],"opposite":[201],"four-region":[204],"membership":[205],"decomposition":[206],"-":[207,216],"only":[208,210,248],"one,":[209],"other,":[212],"both,":[213],"neither":[215],"unless":[217],"additional":[218],"separation":[219],"assumptions":[220],"are":[221],"imposed.":[222],"Finally,":[223],"overlap-compatible":[224],"glue":[228],"canonical":[230],"union":[231],"under":[232],"closure.":[235],"framework":[237],"finite,":[239],"structural,":[240],"closure-theoretic;":[242],"logical":[244],"terminology":[245],"used":[247],"interpretation":[251],"underlying":[254],"data.":[256]},"counts_by_year":[],"updated_date":"2026-07-01T06:00:48.157686","created_date":"2026-06-26T00:00:00"}