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
|
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 |