phenomenon 49.21 The radius of a neutron star is near twelve kilometres
open in the book ·
parts/05-general-relativity-cosmology/08-compact-stars.tex:1420
· p. 1357
- phenomenon-tested: no experiment declares a \tests edge to it and it is not listed in untested.txt
Rests on
- depends_on equation 49.30 eq:compact-lambda ¶
- proves proof ch:08-compact-stars@proof-15 ¶
Supports
Nothing declares a dependency on this node yet.
Neighborhood
Every logical edge within two steps of this node.
- declared and complete
- partly declared
- a check failed
- not graded
- declared in the source
- inferred from structure
Edges
| type | direction | node | provenance | where |
|---|---|---|---|---|
cites |
→ | GW170817: Observation of Gravitational Waves from a Binary Neutron Star Inspiral | derived | parts/05-general-relativity-cosmology/08-compact-stars.tex:1429 |
cites |
→ | GW170817: Measurements of Neutron Star Radii and Equation of State | derived | parts/05-general-relativity-cosmology/08-compact-stars.tex:1431 |
cites |
→ | PSR J0030+0451 Mass and Radius from NICER Data and Implications for the Properties of Neutron Star Matter | derived | parts/05-general-relativity-cosmology/08-compact-stars.tex:1427 |
cites |
→ | A NICER View of PSR J0030+0451: Millisecond Pulsar Parameter Estimation | derived | parts/05-general-relativity-cosmology/08-compact-stars.tex:1427 |
depends_on |
→ | eq:compact-lambda | declared | parts/05-general-relativity-cosmology/08-compact-stars.tex:1437 |
proves |
← | ch:08-compact-stars@proof-15 | declared | parts/05-general-relativity-cosmology/08-compact-stars.tex:1440 |