Conjecture on quantity structures of special relativity with approximate motion

Let nn be the spacetime dimension, let SpecRel\mathsf{SpecRel} be the theory of special relativity, and let AxThExp\mathsf{AxThExp^-} be the axiom expressing that inertial observers can move roughly with any speed less than the speed of light, roughly in any direction. For a theory TT, let Numn(T)\operatorname{Num}_{n}(T) denote the class of quantity structures of its nn-dimensional models. Quantity-structure conjecture. There is a model of SpecRel+AxThExp\mathsf{SpecRel}+\mathsf{AxThExp^-} over every ordered field, equivalently,

Numn(SpecRel+AxThExp)={ordered fields}.\operatorname{Num}_{n}(\mathsf{SpecRel}+\mathsf{AxThExp^-})=\{\text{ordered fields}\}.

The paper presents determining these quantity structures as an open question; the conjecture would extend the known rational and Archimedean ordered-field examples to all ordered fields.

Sources & referencesView supporting material

Primary source

H. Andréka, J. X. Madarász, I. Németi and G. Székely, “What are the numbers in which spacetime?”, arXiv:1204.1350 (2012).

Progress summary

Never refreshed

Nothing recorded yet. Refresh searches the literature and the public web for attempts on this problem, and writes the first summary here.

Solutions 0

No solutions have been posted yet.