phenomenon 49.1 Matter at a billion kilograms per cubic metre

open in the book · parts/05-general-relativity-cosmology/08-compact-stars.tex:53 · p. 1341

phenomenon-tested: no experiment declares a \tests edge to it and it is not listed in untested.txt

Rests on

depends_on phenomenon 83.1 Exclusion, and the lengths of the periods ¶
- proves derived proof ch:07-identical-particles@proof-1 ¶
depends_on proposition 49.2 Ground-state pressure of the ideal Fermi gas ¶
- depends_on phenomenon 83.1 Exclusion, and the lengths of the periods ¶ ↺
- depends_on theorem 40.5 Energy–momentum relation ¶
  - depends_on definition 40.4 Four-momentum ¶
    - depends_on definition 40.2 Four-velocity ¶
      - depends_on definition 38.12 Proper time ¶
      - depends_on definition 40.1 Four-vector ¶
  - depends_on proposition 40.3 Normalization of the four-velocity ¶
    - depends_on definition 38.6 Minkowski metric and interval ¶
      - depends_on proposition 38.5 The invariant interval ¶
    - depends_on equation 40.2 eq:rdyn-fourvelocity ¶
    - proves proof ch:04-relativistic-dynamics@proof-1 ¶
  - proves proof ch:04-relativistic-dynamics@proof-2 ¶
- proves proof ch:08-compact-stars@proof-2 ¶
proves proof ch:08-compact-stars@proof-1 ¶

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`	→	THE SPECTRUM OF THE COMPANION OF SIRIUS	derived	parts/05-general-relativity-cosmology/08-compact-stars.tex:59
`cites`	→	On Dense Matter	derived	parts/05-general-relativity-cosmology/08-compact-stars.tex:65
`depends_on`	→	Exclusion, and the lengths of the periods	declared	parts/05-general-relativity-cosmology/08-compact-stars.tex:66
`depends_on`	→	Ground-state pressure of the ideal Fermi gas	declared	parts/05-general-relativity-cosmology/08-compact-stars.tex:66
`proves`	←	ch:08-compact-stars@proof-1	declared	parts/05-general-relativity-cosmology/08-compact-stars.tex:69