phenomenon 42.9 The relativistic clock budget of satellite navigation

open in the book · parts/05-general-relativity-cosmology/01-equivalence-classical-tests.tex:911 · p. 1256

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

Rests on

depends_on phenomenon 42.5 Gravitational redshift ¶
- depends_on definition 42.2 The equivalence principle in three strengths ¶
- proves proof ch:01-equivalence-classical-tests@proof-3 ¶
depends_on phenomenon 38.13 Time dilation ¶
- 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 equation 38.1 eq:lor-beta-gamma ¶
      - depends_on theorem 38.4 Lorentz boost ¶
      - proves proof ch:02-lorentz-transformations@proof-2 ¶
  - depends_on proposition 38.5 The invariant interval ¶ ↺
- depends_on equation 38.3 eq:lor-boost-t ¶
- depends_on theorem 38.4 Lorentz boost ¶ ↺
- proves proof ch:02-lorentz-transformations@proof-5 ¶
proves proof ch:01-equivalence-classical-tests@proof-7 ¶

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`	→	Relativity in the Global Positioning System	derived	parts/05-general-relativity-cosmology/01-equivalence-classical-tests.tex:922
`depends_on`	→	Gravitational redshift	declared	parts/05-general-relativity-cosmology/01-equivalence-classical-tests.tex:923
`depends_on`	→	Time dilation	declared	parts/05-general-relativity-cosmology/01-equivalence-classical-tests.tex:923
`proves`	←	ch:01-equivalence-classical-tests@proof-7	declared	parts/05-general-relativity-cosmology/01-equivalence-classical-tests.tex:926