Registry · Theorem
II.T47
established
formalized
II.T47 — Simultaneous Rung Theorem
tau^3 simultaneously exhibits features from at least three classical SCV dimension rungs: full Hartogs extension (C3 feature via I.T31), distinguished boundary (C2 feature via torus degeneration II.T13), and complete boundary determination (C1 feature via Mutual Determination II.T27), while lacking Riemann mapping, monodromy, isolated singularities, and the Levi problem.
Book II
Part 11
Ch. 63