REAL

No Faster-Than-Light Observers (GenRel)

Mike, Stannett and Edward, Higgins and Andréka, Hajnal and Madarász, Judit and Németi, István and Székely, Gergely (2023) No Faster-Than-Light Observers (GenRel). Archive of Formal Proofs, March. ISSN 2150-914X

[img]
Preview
Text
document.pdf - Published Version

Download (981kB) | Preview

Abstract

We have previously verified, in the first order theory SpecRel of Special Relativity, that inertial observers cannot travel faster than light. We now prove the corresponding result for GenRel, the first-order theory of General Relativity. Specifically, we prove that whenever an observer m encounters another observer k (so that m and k are both present at some spacetime location x), k will necessarily be observed by m to be traveling at less than light speed.

Item Type: Article
Subjects: Q Science / természettudomány > QA Mathematics / matematika
Q Science / természettudomány > QC Physics / fizika
SWORD Depositor: MTMT SWORD
Depositing User: MTMT SWORD
Date Deposited: 05 Apr 2024 09:51
Last Modified: 05 Apr 2024 09:51
URI: https://real.mtak.hu/id/eprint/191898

Actions (login required)

Edit Item Edit Item