53 citations · 246 across the 22 of their papers we have counts for
Showing 2011Show all
2 papers · 1 filter
gr-qc2011★ 4 cited
Closed Timelike Curves in Relativistic Computation
Hajnal Andréka, István Németi, Gergely Székely
In this paper, we investigate the possibility of using closed timelike curves (CTCs) in relativistic hypercomputation. We introduce a wormhole based hypercomputation scenario which…
math.LO2011★ 11 cited
Vienna Circle and Logical Analysis of Relativity Theory
H. Andréka, J. X. Madarász, I. Németi +2
In this paper we present some of our school's results in the area of building up relativity theory (RT) as a hierarchy of theories in the sense of logic. We use plain first-order l…