3 citations · 6 across the 3 of their papers we have counts for
3 papers
math.LO2014
Finite-variable logics do not have weak Beth definability property
H. Andréka, I. Németi
We prove that n-variable logics do not have the weak Beth definability property, for all n greater than 2. This was known for n=3 (Ildikó Sain and András Simon), and for n greater…
gr-qc2013★ 3 cited
An Axiom System for General Relativity Complete with respect to Lorentzian Manifolds
Hajnal Andréka, Judit X. Madarász, István Németi +1
We introduce several axiom systems for general relativity and show that they are complete with respect to the standard models of general relativity, i.e., to Lorentzian manifolds h…
gr-qc2012★ 3 cited
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.