RECORD
What properties of numbers are needed to model accelerated observers in relativity?
Logic · Submitted 29 Sep 2012
abstract compiled · 2026-09-23 · no language-model review
The authors' main claim Consequently, the class of fields over which uniform acceleration can be investigated is not axiomatizable in the language of ordered fields.
The compiled record
The paper's own sentences, arranged. Each label is drawn from a closed vocabulary; the number beside it is the probability the classifier gave that label. Numbers in the tables are the authors', checked by code. No sentence in this record was written by a model.
Open the compiled record
The abstract, sentence by sentence
We investigate the possible structures of numbers (as physical quantities) over which accelerated observers can be modeled in special relativity. We present a general axiomatic theory of accelerated observers which has a model over every real closed field. We also show that, if we would like to model certain accelerated observers, then not every real closed field is suitable, e.g., uniformly accelerated observers cannot be modeled over the field of real algebraic numbers. Consequently, the class of fields over which uniform acceleration can be investigated is not axiomatizable in the language of ordered fields.
background contribution method result interpretation main claim
| # | sentence | role | the authors' own work | states the main conclusion | strength |
|---|---|---|---|---|---|
| s0 | We investigate the possible structures of numbers (as physical quantities) over which accelerated observers can be modeled in special relativity. | contribution 0.65 | 0.82 | 0.04 | unclear 0.36 |
| s1 | We present a general axiomatic theory of accelerated observers which has a model over every real closed field. | contribution 0.64 | 0.94 | 0.18 | asserted 1.00 |
| s2 | We also show that, if we would like to model certain accelerated observers, then not every real closed field is suitable, e.g., uniformly accelerated observers cannot be modeled over the field of real algebraic numbers. | result 0.97 | 0.93 | 0.26 | asserted 0.97 |
| s3 | Consequently, the class of fields over which uniform acceleration can be investigated is not axiomatizable in the language of ordered fields. | result 0.60 | 0.89 | 0.53 | asserted 1.00 |
What was examined, and what was not
- arXiv listing abstract v1
- full text
- figures and tables
- references and citing sentences
- relations to other papers
- P abstract
- S sections
- T body sentences
- C citations
- R cross-paper relations
The paper
Original abstract
We investigate the possible structures of numbers (as physical quantities) over which accelerated observers can be modeled in special relativity. We present a general axiomatic theory of accelerated observers which has a model over every real closed field. We also show that, if we would like to model certain accelerated observers, then not every real closed field is suitable, e.g., uniformly accelerated observers cannot be modeled over the field of real algebraic numbers. Consequently, the class of fields over which uniform acceleration can be investigated is not axiomatizable in the language of ordered fields.
Human review
How the literature uses it
1 arXiv paper cite this in 1 sentence
What it cites · 9 sentences without a confident label
Cites as background 1 paper
-
For a more general perspective of this research direction, see [ref] .
What are the numbers in which spacetime? · Introduction · 1.00
Discussion
Know something about this paper? Leave a comment, or highlight any passage above to comment on it.