Registry · Proposition V.P71 tau-effective formalized

V.P71 — Neutron Star EOS Structure --- V.P35

The neutron star equation of state exhibits three regimes: crust (rho < rho_0, lattice with degenerate electrons), outer core (rho_0 to 3 rho_0, neutron-proton fluid dominated by C-sector), and inner core (rho > 3 rho_0, uncertain high-density strong-sector physics).

Book V Part 5 Ch. 38

Dependency Graph

Depends on (6)

Depended on by (1)

Lean Formalization

Module: TauLib.BookV.Astrophysics.CompactObjects

Symbol: Tau.BookV.Astrophysics.NeutronStarEosStructureVp35