Registry · Theorem II.T48 established formalized

II.T48 — Fourth Quadrant Ladder Collapse

In the (Hyperbolic, Non-Archimedean) quadrant the Archimedean-elliptic engine is absent: no continuous metric dimension (LC1), no progressive elliptic overdeterminacy (LC2), therefore no dimensional ladder (LC3), and features from multiple classical rungs coexist (LC4).

Book II Part 11 Ch. 63

Dependency Graph

Depends on (4)

Depended on by (1)

Lean Formalization

Module: TauLib.BookII.Mirror.DimensionalLadder

Symbol: ladder_collapse