Registry · Definition II.D75 established formalized

II.D75 — Archimedean-Elliptic Engine

The mechanism generating the orthodox SCV dimensional ladder: interaction of Archimedean metric dimension (continuous manifold with free parameter n) and elliptic CR overdeterminacy (n(n-1)/2 integrability conditions beyond n basic equations). Requires BOTH ingredients; neither alone generates a ladder.

Book II Part 11 Ch. 63

Dependency Graph

Depends on (2)

Depended on by (3)

Lean Formalization

Module: TauLib.BookII.Mirror.DimensionalLadder

Symbol: ArchimedeanEllipticEngine