Stannett, M. orcid.org/0000-0002-2794-8614, Higgins, E., Andréka, H. et al. (3 more authors) (2023) No faster-than-light observers (GenRel). Archive of Formal Proofs, 2023. ISSN 2150-914x
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.
Metadata
Item Type: | Article |
---|---|
Authors/Creators: |
|
Copyright, Publisher and Additional Information: | © 2023 The Author(s). For reuse permissions, please contact the Author(s). |
Dates: |
|
Institution: | The University of Sheffield |
Academic Units: | The University of Sheffield > Faculty of Engineering (Sheffield) > Department of Computer Science (Sheffield) |
Depositing User: | Symplectic Sheffield |
Date Deposited: | 14 Feb 2024 09:58 |
Last Modified: | 14 Feb 2024 09:58 |
Published Version: | https://www.isa-afp.org/entries/No_FTL_observers_G... |
Status: | Published |
Publisher: | Archive of Formal Proofs |
Refereed: | Yes |
Open Archives Initiative ID (OAI ID): | oai:eprints.whiterose.ac.uk:209132 |