Registry · Theorem
V.T209
tau-effective
formalized
V.T209 — Algebraic Distinctness from Standard MOND
Algebraic Distinctness: ν_2ch(y) = √(1+1/y) is algebraically distinct from standard Bekenstein ν_std(y) = √((1+√(1+4/y²))/2). Max difference +12% at y ≈ 1–2 (transition region). Both share identical deep-MOND and Newtonian asymptotics. Two-channel satisfies quadratic implicit equation g²−g_N²−g_N·a₀=0; standard satisfies quartic.
Book V
Part 5
Ch. 37