Registry · Theorem
V.T127
tau-effective
formalized
V.T127 — No singularity theorem
The tau-Einstein equation R^H = kappa_tau T admits no singular solutions. The holomorphic curvature R^H is an element of H_partial[omega], which is a compact (profinite) algebra. Compact algebras have no divergent elements. Therefore: no singularities inside tau-black holes, no Big Bang singularity in tau-cosmology.
Book V
Part 7
Ch. 61