Pages that link to "Item:Q2474088"
From MaRDI portal
The following pages link to Alexandrov-Zeeman type theorems expressed in terms of definability (Q2474088):
Displayed 9 items.
- Reconstructing an open order from its closure, with applications to space-time physics and to logic (Q454373) (← links)
- Axiomatizing relativistic dynamics using formal thought experiments (Q514563) (← links)
- On the axiomatizability of some first-order spatio-temporal theories (Q514577) (← links)
- A geometrical characterization of the twin paradox and its variants (Q609644) (← links)
- Positive existential definability of parallelism in terms of betweenness in Archimedean ordered affine geometry (Q640271) (← links)
- Mappings preserving the area equality of hyperbolic triangles are motions (Q707537) (← links)
- A system of axioms for Minkowski spacetime (Q830382) (← links)
- Complexity in the interdefinability of timelike, lightlike and spacelike relatedness of Minkowski spacetime (Q2120977) (← links)
- Investigations of isotropy and homogeneity of spacetime in first-order logic (Q2159931) (← links)