10 citations · 13 across the 4 of their papers we have counts for
4 papers
Complexity in the interdefinability of timelike, lightlike and spacelike relatedness of Minkowski spacetime
Hajnal Andréka, Judit X. Madarász, István Németi +1
Interdefinability of timelike, lightlike and spacelike relatedness of Minkowski spacetime is investigated in detail in the paper, with the aim of finding the simplest definitions.…
On the networks of large embeddings
Tuğba Aslan, Mohamed Khaled, Gergely Székely
We define a special network that exhibits the large embeddings in any class of similar algebras. With the aid of this network, we introduce a notion of distance that conceivably co…
What are the numbers in which spacetime?
H. Andréka, J. X. Madarász, I. Németi +1
Within an axiomatic framework, we investigate the possible structures of numbers (as physical quantities) in different theories of relativity.
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…