phenomenon 49.18 Orbital decay of a binary pulsar

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

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

Rests on

depends_on equation A.83 eq:app-quad-pbdot ¶
depends_on phenomenon 46.1 phen:gravitational-waves ¶
- depends_on postulate 44.3 Einstein field equations ¶
  - depends_on definition 44.2 Einstein tensor ¶
    - depends_on definition 13.153 Contractions ¶
      - depends_on definition 13.117 Metric tensor of signature $(p,q)$ ¶
      - depends_on theorem 13.152 Riemann tensor; Ricci identity with torsion ¶
- proves proof ch:05-gravitational-wave-theory@prooflink-1 ¶
depends_on postulate 44.3 Einstein field equations ¶ ↺
proves proof ch:08-compact-stars@proof-13 ¶

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`	→	An increased estimate of the merger rate of double neutron stars from observations of a highly relativistic system	derived	parts/05-general-relativity-cosmology/08-compact-stars.tex:1216
`cites`	→	Discovery of a pulsar in a binary system	derived	parts/05-general-relativity-cosmology/08-compact-stars.tex:1210
`cites`	→	Tests of General Relativity from Timing the Double Pulsar	derived	parts/05-general-relativity-cosmology/08-compact-stars.tex:1217
`cites`	→	Strong-Field Gravity Tests with the Double Pulsar	derived	parts/05-general-relativity-cosmology/08-compact-stars.tex:1219
`cites`	→	A new test of general relativity: Gravitational radiation and the binary pulsar PSR 1913+16	derived	parts/05-general-relativity-cosmology/08-compact-stars.tex:1210
`cites`	→	Relativistic Measurements from Timing the Binary Pulsar PSR B1913+16	derived	parts/05-general-relativity-cosmology/08-compact-stars.tex:1214
`depends_on`	→	eq:app-quad-pbdot	declared	parts/05-general-relativity-cosmology/08-compact-stars.tex:1222
`depends_on`	→	phen:gravitational-waves	declared	parts/05-general-relativity-cosmology/08-compact-stars.tex:1222
`depends_on`	→	Einstein field equations	declared	parts/05-general-relativity-cosmology/08-compact-stars.tex:1222
`proves`	←	ch:08-compact-stars@proof-13	declared	parts/05-general-relativity-cosmology/08-compact-stars.tex:1226