The ordered-field conjecture for special relativity with approximate expansion

About 14 years old · traced to

Let d≥2d\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 d≥2d\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.

References

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.