Registry · Theorem V.T87 tau-effective formalized

V.T87 — TOV Mass Limit --- V.T39

For any equation of state satisfying causality (c_s <= c) and thermodynamic stability (dP/d rho >= 0), there exists a maximum neutron star mass M_TOV ~ 2.0-2.3 M_sun above which no static TOV solution exists.

Book V Part 5 Ch. 38

Dependency Graph

Depends on (3)

Depended on by (3)

Lean Formalization

Module: TauLib.BookV.Astrophysics.CompactObjects

Symbol: Tau.BookV.Astrophysics.TovMassLimitVt39