Computational complexity of determining which statements about causality hold in different space-time models
From MaRDI portal
Publication:949614
DOI10.1016/j.tcs.2008.06.028zbMath1158.68015OpenAlexW1986285719MaRDI QIDQ949614
Vladik Ya. Kreinovich, O. M. Kosheleva
Publication date: 21 October 2008
Published in: Theoretical Computer Science (Search for Journal in Brave)
Full work available at URL: https://doi.org/10.1016/j.tcs.2008.06.028
Analysis of algorithms and problem complexity (68Q25) Special relativity (83A05) Decidability of theories and sets of sentences (03B25) Complexity of computation (including implicit computational complexity) (03D15)
Related Items
Causal cones, cone preserving transformations and causal structure in special and general relativity ⋮ Reconstructing an open order from its closure, with applications to space-time physics and to logic ⋮ Metrization Theorem for Space-Times: From Urysohn’s Problem towards Physically Useful Constructive Mathematics
Uses Software
Cites Work
- Unnamed Item
- Unnamed Item
- Unnamed Item
- Unnamed Item
- Unnamed Item
- Unnamed Item
- Unnamed Item
- Unnamed Item
- Unnamed Item
- On distance-preserving transformations of lines in Euclidean three-space
- The complexity of elementary algebra and geometry
- Real quantifier elimination is doubly exponential
- On the computational complexity and geometry of the first-order theory of the reals. III: Quantifier elimination
- Partial cylindrical algebraic decomposition for quantifier elimination
- Mappings of spaces with families of cones and space-time transformations
- A characterization of plane Lorentz transformations
- Symmetry characterization of Pimenov's spacetime: A reformulation of causality axioms
- Universal homogeneous causal sets
- On null cone preserving mappings
- Cone Preserving Mappings for Quadratic Cones Over Arbitrary Fields
- A Physical Characterization of Conformal Transformations of Minkowski Spacetime
- Efficient solving of quantified inequality constraints over the real numbers
- Causality Implies the Lorentz Group
- A Contribution to Chronogeometry
- Sur l'extension aux relations de quelques propriétés des ordres
