proposition 49.2 Ground-state pressure of the ideal Fermi gas

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

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 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 38.6 Minkowski metric and interval ¶
      - depends_on proposition 38.5 The invariant interval ¶
    - depends_on definition 40.1 Four-vector ¶
      - depends_on definition 38.6 Minkowski metric and interval ¶ ↺
      - depends_on equation 38.14 eq:lor-invariance-condition ¶
- depends_on proposition 40.3 Normalization of the four-velocity ¶
  - depends_on definition 38.6 Minkowski metric and 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 ¶

Supports

depends_on phenomenon 49.6 A maximum mass for a cold degenerate star ¶
depends_on phenomenon 49.8 The white-dwarf luminosity function has an edge ¶
depends_on phenomenon 49.1 Matter at a billion kilograms per cubic metre ¶
depends_on theorem 49.7 The Chandrasekhar mass ¶
- depends_on phenomenon 49.6 A maximum mass for a cold degenerate star ¶ ↺

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
`depends_on`	→	Exclusion, and the lengths of the periods	declared	parts/05-general-relativity-cosmology/08-compact-stars.tex:149
`depends_on`	→	Energy–momentum relation	declared	parts/05-general-relativity-cosmology/08-compact-stars.tex:149
`depends_on`	←	A maximum mass for a cold degenerate star	declared	parts/05-general-relativity-cosmology/08-compact-stars.tex:383
`depends_on`	←	The white-dwarf luminosity function has an edge	declared	parts/05-general-relativity-cosmology/08-compact-stars.tex:524
`depends_on`	←	Matter at a billion kilograms per cubic metre	declared	parts/05-general-relativity-cosmology/08-compact-stars.tex:66
`depends_on`	←	The Chandrasekhar mass	declared	parts/05-general-relativity-cosmology/08-compact-stars.tex:456
`proves`	←	ch:08-compact-stars@proof-2	declared	parts/05-general-relativity-cosmology/08-compact-stars.tex:152