The ordered-field conjecture for special relativity with approximate expansion

Let d2d\ge2. Write Num(Th)\operatorname{Num}(\mathsf{Th}) for the class of quantity structures of models of a theory Th\mathsf{Th}, and let SpecReld\mathsf{SpecRel}_d be the axiom system for dd-dimensional special relativity. Let AxThExp\mathsf{AxThExp}^{-} be the approximate version of the axiom asserting that inertial observers can move with arbitrary subluminal speeds. An ordered field is a field equipped with a compatible total order. The ordered-field conjecture. For all d2d\ge2,

Num(SpecReld+AxThExp)={Q:Q is an ordered field}.\operatorname{Num}(\mathsf{SpecRel}_d+\mathsf{AxThExp}^{-})=\{\mathfrak{Q}:\mathfrak{Q}\text{ is an ordered field}\}.

The question of exactly which ordered fields occur as quantity structures is stated to be open; the conjecture would characterize them all, in every dimension, extending the established rational and Archimedean-field cases.

Sources & referencesView supporting material

Primary source

Madarász X. Judit and Gergely Székely, “Special Relativity over the Field of Rational Numbers”, arXiv:1209.3492 (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.