Zero-State Axioms: Minimal Boundary Structure, Structural Consequences, and Semantic Models

Read full text
Authors: Lawrence Ip
Cited by: 0

Abstract

We study semantic universes equipped with a configuration preorder, a coherence relation, a valuation into a partially ordered value domain, and a partial measurement operator. Under mild closure and stability assumptions, we prove an Infinity–Measurement Boundary Theorem: if unbounded extensibility and nontrivial partial measurement (with propagation and eventual stability along coherent increasing chains) both hold, then there exists a unique minimal boundary configuration Z such that every measured configuration extends Z, and measurement is stable along coherent increasing chains above Z whenever a limit exists. Motivated by this, we introduce the Zero-State Axioms (ZSA) in a first-order language naming a distinguished constant Z. We show that a boundary fragment of ZSA is forced in the canonical expansion extracted from any universe satisfying the IMB hypotheses. We further show that one axiom is derivable from another over the fixed semantic background, and that the remaining core axioms are independent via explicit countermodels. We also supply canonical and product-style model constructions demonstrating consistency and flexibility. Finally, under an invariance hypothesis for admissible reassignment on a fixed underlying frame, we derive a semantic non-derivability property: no strict predecessor of Z can serve as a boundary while preserving the joint Infinity–Measurement regime.

Fields of Study & Subjects

Logic Reasoning and Knowledge programming and type systems Formal Methods in Verification

Publication details

Journal / source
Zenodo (CERN European Organization for Nuclear Research)
Publication date
8 January 2026
Language
EN
Document type
Preprint