Registry · Remark
II.R31
established
formalized
II.R31 — Categoricity Implies No Ladder
The categoricity of tau^3 (II.T42, moduli = singleton) independently forces no dimensional ladder: a singleton moduli space cannot support a dimension-indexed family of holomorphic structures.
Book II
Part 11
Ch. 63