53 citations · 306 across the 21 of their papers we have counts for
1 paper · 1 filter
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…