Groups of Worldview Transformations Implied by Einstein's Special Principle of Relativity over Arbitrary Ordered Fields
Abstract
In 1978, Yu. F. Borisov presented an axiom system using a few basic assumptions and four explicit axioms, the fourth being a formulation of the relativity principle; and he demonstrated that this axiom system had (up to choice of units) only two models: a relativistic one in which worldview transformations are Poincaré transformations and a classical one in which they are Galilean. In this paper, we reformulate Borisov's original four axioms within an intuitively simple, but strictly formal, first-order logic framework, and convert his basic background assumptions into explicit axioms. Instead of assuming that the structure of physical quantities is the field of real numbers, we assume only that they form an ordered field. This allows us to investigate how Borisov's theorem depends on the structure of quantities. We demonstrate (as our main contribution) how to construct Euclidean, Galilean, and Poincaré models of Borisov's axiom system over every non-Archimedean field. We also demonstrate the existence of an infinite descending chain of models and transformation groups in each of these three cases, something that is not possible over Archimedean fields. As an application, we note that there is a model of Borisov's axioms that satisfies the relativity principle, and in which the worldview transformations are Euclidean isometries. Over the field of reals it is easy to eliminate this model using natural axioms concerning time's arrow and the absence of instantaneous motion. In the case of non-Archimedean fields, however, the Euclidean isometries appear intrinsically as worldview transformations in models of Borisov's axioms and neither the assumption of time's arrow, nor the rejection of instantaneous motion, can eliminate them.
Versions
Related
- Linear Stability and a Turning Point Principle for Barotropic Liquid Stars with a Free Boundary in General Relativity
- The $2$-co-lacunary subsequence principle for arbitrary noncommutative L1-spaces
- A Geometric Derivation of the Einstein Equations from the Causal Action Principle
- An extension principle for Einstein-Maxwell-charged scalar field system with finite Doppler exponent
- A Scale-Critical μ<3/8 Extension Principle for Spherically Symmetric Einstein-Scalar Field System
BibTeX
@misc{madarasz2026groups,
title = {{Groups of Worldview Transformations Implied by Einstein's Special Principle of Relativity over Arbitrary Ordered Fields}},
author = {Judit Madarász and Mike Stannett and Gergely Székely},
howpublished = {arXiv},
year = {2026},
month = sep,
doi = {10.48550/arxiv.2609.09168},
eprint = {2609.09168},
archivePrefix = {arXiv},
url = {https://arxiv.org/abs/2609.09168},
}
RIS
TY - UNPB
TI - Groups of Worldview Transformations Implied by Einstein's Special Principle of Relativity over Arbitrary Ordered Fields
AU - Judit Madarász
AU - Mike Stannett
AU - Gergely Székely
PY - 2026
DA - 2026/09/01
PB - arXiv
DO - 10.48550/arxiv.2609.09168
UR - https://arxiv.org/abs/2609.09168
AB - In 1978, Yu. F. Borisov presented an axiom system using a few basic assumptions and four explicit axioms, the fourth being a formulation of the relativity principle; and he demonstrated that this axiom system had (up to choice of units) only two models: a relativistic one in which worldview transformations are Poincaré transformations and a classical one in which they are Galilean. In this paper, we reformulate Borisov's original four axioms within an intuitively simple, but strictly formal, first-order logic framework, and convert his basic background assumptions into explicit axioms. Instead of assuming that the structure of physical quantities is the field of real numbers, we assume only that they form an ordered field. This allows us to investigate how Borisov's theorem depends on the structure of quantities. We demonstrate (as our main contribution) how to construct Euclidean, Galilean, and Poincaré models of Borisov's axiom system over every non-Archimedean field. We also demonstrate the existence of an infinite descending chain of models and transformation groups in each of these three cases, something that is not possible over Archimedean fields. As an application, we note that there is a model of Borisov's axioms that satisfies the relativity principle, and in which the worldview transformations are Euclidean isometries. Over the field of reals it is easy to eliminate this model using natural axioms concerning time's arrow and the absence of instantaneous motion. In the case of non-Archimedean fields, however, the Euclidean isometries appear intrinsically as worldview transformations in models of Borisov's axioms and neither the assumption of time's arrow, nor the rejection of instantaneous motion, can eliminate them.
ER -