Pages that link to "Item:Q2505242"
From MaRDI portal
The following pages link to Twin paradox and the logical foundation of relativity theory (Q2505242):
Displaying 11 items.
- A logic road from special relativity to general relativity (Q383001) (← links)
- On the axiomatizability of some first-order spatio-temporal theories (Q514577) (← links)
- An axiomatic foundation of relativistic spacetime (Q514583) (← links)
- Evidence, explanation and enhanced indispensability (Q516221) (← links)
- A geometrical characterization of the twin paradox and its variants (Q609644) (← links)
- Axiomatic derivation of the Doppler factor and related relativistic laws (Q623409) (← links)
- General relativistic hypercomputing and foundation of mathematics (Q734209) (← links)
- Axiomatizing relativistic dynamics without conservation postulates (Q941737) (← links)
- A formal construction of the spacetime manifold (Q1029818) (← links)
- Using Isabelle/HOL to verify first-order relativity theory (Q2351148) (← links)
- Changing a Semantics: Opportunism or Courage? (Q3454820) (← links)
