Registry · Proposition
V.P15
tau-effective
formalized
V.P15 — Convergence in all regimes
The tau-NF Einstein iteration converges to the unique Einstein-admissible character in all three regimes (weak-field, strong-field, horizon). The number of steps at depth n is bounded by ceil(-log_{iota_tau} ||T^mat_omega||_n) + 1.
Book V
Part 2
Ch. 15