tovLimit
plain-language theorem explainer
Recognition Science models of neutron star stability define the Tolman-Oppenheimer-Volkoff limit as the rational constant 3 in solar masses. Researchers comparing degeneracy pressure bounds from Pauli exclusion in ledger structures cite this value. The assignment is a direct constant definition that supports subsequent numerical inequality proofs.
Claim. The Tolman-Oppenheimer-Volkoff limit for neutron stars is the rational number $3$ (in solar masses).
background
The QFT-004 module derives the Pauli exclusion principle from ledger single-occupancy. Fermions are odd-phase ledger entries that accumulate a minus sign through the 8-tick cycle; antisymmetry then forces the amplitude for two identical entries at the same address to vanish, enforcing single occupancy. This constraint generates degeneracy pressure that stabilizes white dwarfs and neutron stars. Upstream results supply general ledger properties such as collision-free classes and algebraic tautologies that frame the single-occupancy argument.
proof idea
The definition is a direct assignment of the rational number 3, accompanied by a comment recording the approximate physical range 2-3 solar masses.
why it matters
This definition supplies the left-hand side of the downstream theorem that proves the TOV limit exceeds the Chandrasekhar limit by unfolding both constants and applying numerical normalization. It instantiates the degeneracy-pressure consequence listed in the module documentation for the ledger-derived Pauli exclusion principle. In the Recognition Science framework the value connects to the eight-tick octave and D=3 spatial dimensions that produce the underlying antisymmetry.
Switch to Lean above to see the machine-checked source, dependencies, and usage graph.