53 citations · 192 across the 16 of their papers we have counts for
Showing 2010Show all
2 papers · 1 filter
gr-qc2010★ 10 cited
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…
gr-qc2010★ 53 cited
A logic road from special relativity to general relativity
Hajnal Andréka, Judit X. Madarász, István Németi +1
We present a streamlined axiom system of special relativity in first-order logic. From this axiom system we "derive" an axiom system of general relativity in two natural steps. We…