First-Order Logic Investigation of Relativity Theory with an Emphasis on Accelerated Observers

Gergely Székely

This thesis is mainly about extensions of the first-order logic axiomatization of special relativity introduced by Andréka, Madarász and Németi. These extensions include extension…