← NTLA-O / Paper 3 · NTLA-O II: Set-Theoretic Observer Hierarchy
Set-Theoretic Observer Hierarchy — Power Sets, Admissible Distinction Families, Ordinal Rank, Set-Boundedness, and Class-Level Observer Towers
NTLA-O series Paper 3. Formally grounds, in set theory, the observer previously represented as a five-tuple and the observational indistinguishability kernel defined by an effective observation map: how an observer's admissible distinction family is constrained by power sets, ordinal rank, and size/boundedness conditions, and generalizes the "observer tower" from a single set-theoretic level to a class-level observer tower.
Relationship to the rest of the series, stated as closely as possible in the document's own words, not my interpretation.
Provides the set-theoretic prerequisite for the next paper's question: how does a distinction family upgrade into a topology?
Loading…