Special relativity over the field of rational numbers

DOI10.1007/S10773-013-1492-8MaRDI QIDQ2391975zbMATH OpenOpenAlexFDO

Authors Judit Madarász, Gergely Székely

Publication date 6 August 2013

Published in International Journal of Theoretical Physics (Search for Journal in Brave)

Full work available at URL https://arxiv.org/abs/1209.3492

zbMATH Keywords

first-order logicspecial relativityrational numbersrelativity theoryaxiomatic theories

Mathematics Subject Classification ID

Philosophical and critical aspects of logic and foundations (03A05) Special relativity (83A05) Relativistic gravitational theories other than Einstein's, including asymmetric field theories (83D05)

Abstract: We investigate the question: what structures of numbers (as physical quantities) are suitable to be used in special relativity? The answer to this question depends strongly on the auxiliary assumptions we add to the basic assumptions of special relativity. We show that there is a natural axiom system of special relativity which can be modeled even over the field of rational numbers.

Recommendations

• What algebraic properties of quantities are needed to model accelerated observers in relativity theory
• Logical axiomatizations of space-time. Samples from the literature
• Axiomatization of special relativity in first order logic
• Quaternions and special relativity
• scientific article; zbMATH DE number 25493

Cites work

• scientific article; zbMATH DE number 3467028 (Why is no real title available?)
• scientific article; zbMATH DE number 3222127 (Why is no real title available?)
• Computing the appearance of physical reality
• First-order logic: (philosophical) pro and contra
• Functional analysis.
• Logical axiomatizations of space-time. Samples from the literature
• Model theory.
• Rational points on the unit sphere
• Second-Order Logic and Foundations of Mathematics

Cited in

(9)

• In the Footsteps of Hilbert: The Andréka-Németi Group’s Logical Foundations of Theories in Physics
• GROUPS OF WORLDVIEW TRANSFORMATIONS IMPLIED BY EINSTEIN’S SPECIAL PRINCIPLE OF RELATIVITY OVER ARBITRARY ORDERED FIELDS
• Universality of graph-controlled leftist insertion-deletion systems with two states
• Periodic solution for second-order impulsive differential inclusions with relativistic operator
• The existence of superluminal particles is consistent with relativistic dynamics
• Investigations of isotropy and homogeneity of spacetime in first-order logic
• What algebraic properties of quantities are needed to model accelerated observers in relativity theory
• Axiomatizing relativistic dynamics using formal thought experiments
• On the epistemological significance of the Hungarian project

This page was built for publication: Special relativity over the field of rational numbers

Report a bug (only for logged in users!)Click here to report a bug for this page (MaRDI item Q2391975)