Results · Additional Noteworthy Results · Physics
Related existing surface
High confidence
TOV Mass Limit --- V.T39
For any equation of state satisfying causality (c_s = 0), there exists a maximum neutron star mass M_TOV ~ 2.0-2.3 M_sun above which no static TOV solution exists.
V.T87
Physics
Book V
tau-effective
formalized
What this page is
This is a public Results-lane surface for a noteworthy Physics Registry item. It is generated from the Corpus Registry triage catalogue and keeps the generic Result catalogue unchanged.
Registry evidence
- Registry item: V.T87
- Type: theorem
- Scope: tau-effective
- Lean status: formalized
- Book / part / chapter: Book V · Part 5 · Chapter 38
Result summary
For any equation of state satisfying causality (c_s = 0), there exists a maximum neutron star mass M_TOV ~ 2.0-2.3 M_sun above which no static TOV solution exists.
Related Results surfaces
Reading role
Use as Registry evidence for an existing Results surface.
Claim boundary
This page reports a Registry-backed internal result surface. It is not an external validation claim, a scientific consensus claim, or independent acceptance.
Curation rationale
- physics-facing terms: mass, neutron
- candidate is better handled as evidence for an inferred existing public surface
Review notes
- No additional review notes recorded.