Abstract:This paper studies finite closure operators on overlapping finite universes and gives an exact local-to-global obstruction criterion for conservative globalization. Given a finite family of local closure systems, its atlas-generated closure is obtained by repeatedly applying the local closure operators to the parts visible in each chart. This closure is the least global closure operator extending all chart closures. A chart-visible obstruction is a consequence produced by this global propagation that lies inside a chart but is not validated by that chart's own closure operator. The main theorem proves that a finite closure atlas has a global conservative realization exactly when no such obstruction occurs; in that case the atlas-generated closure itself is the conservative realization. The obstruction condition is finite and directly computable.
The paper also records the indexed representation layer motivating the terminology. For a finite closure system, an indexed truth space selects closed theories as contexts and represents each element by the region of selected closed theories containing it. Closure consequence is always sound for region inclusion, and the full indexed space of all closed theories recovers the original closure consequence exactly; reduced indexed spaces can therefore create spurious region consequences by deleting separating closed theories. A formal opposite gives a four-region membership decomposition - only one, only the other, both, and neither - unless additional separation assumptions are imposed. Finally, overlap-compatible local closed theories glue by canonical union under the atlas-generated closure. The framework is finite, structural, and closure-theoretic; the logical terminology is used only as an interpretation of the underlying closure data.
From: Jaehwan Kim [view email]
[v1]
Fri, 19 Jun 2026 01:27:18 UTC (23 KB)
此内容由惯性聚合(RSS阅读器)自动聚合整理，仅供阅读参考。 原文来自 — 版权归原作者所有。