proof ch:08-compact-stars@proof-15
open in the book ·
parts/05-general-relativity-cosmology/08-compact-stars.tex:1440
- target declared with \derivationof
Rests on
No declared or derived dependency edges point away from this node yet.
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:1509 |
cites |
→ | GW170817: Measurements of Neutron Star Radii and Equation of State | derived | parts/05-general-relativity-cosmology/08-compact-stars.tex:1513 |
cites |
→ | Gravitational Bending of Light Near Compact Objects | derived | parts/05-general-relativity-cosmology/08-compact-stars.tex:1464 |
cites |
→ | Constraining neutron-star tidal Love numbers with gravitational-wave detectors | derived | parts/05-general-relativity-cosmology/08-compact-stars.tex:1505 |
cites |
→ | Tidal Love Numbers of Neutron Stars | derived | parts/05-general-relativity-cosmology/08-compact-stars.tex:1505 |
cites |
→ | Tidal Love Numbers of Neutron Stars | derived | parts/05-general-relativity-cosmology/08-compact-stars.tex:1512 |
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:1475 |
cites |
→ | A NICER View of PSR J0030+0451: Millisecond Pulsar Parameter Estimation | derived | parts/05-general-relativity-cosmology/08-compact-stars.tex:1475 |
proves |
→ | The radius of a neutron star is near twelve kilometres | declared | parts/05-general-relativity-cosmology/08-compact-stars.tex:1440 |