← NTLA-O / Paper 3 · NTLA-O II: Set-Theoretic Observer Hierarchy

v0.1 Formal Draft 2026-08-17 prerequisite: NTLA-O I

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.

This paper's core question: what is the set-theoretic foundation of distinction? — from Paper 9 (the unifying paper), Section 1's series structure table, quoted verbatim.

Connections

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…