# No Faster-Than-Light Observers

 Title: No Faster-Than-Light Observers Authors: Mike Stannett (m /dot/ stannett /at/ sheffield /dot/ ac /dot/ uk) and István Németi Submission date: 2016-04-28 Abstract: We provide a formal proof within First Order Relativity Theory that no observer can travel faster than the speed of light. Originally reported in Stannett & Németi (2014) "Using Isabelle/HOL to verify first-order relativity theory", Journal of Automated Reasoning 52(4), pp. 361-378. BibTeX: @article{No_FTL_observers-AFP, author = {Mike Stannett and István Németi}, title = {No Faster-Than-Light Observers}, journal = {Archive of Formal Proofs}, month = apr, year = 2016, note = {\url{https://isa-afp.org/entries/No_FTL_observers.html}, Formal proof development}, ISSN = {2150-914x}, } License: BSD License Status: [ok] This is a development version of this entry. It might change over time and is not stable. Please refer to release versions for citations.