53 citations · 192 across the 16 of their papers we have counts for
Showing math.LOShow all
2 papers · 1 filter
math.LO2022★ 2 cited
Testing definitional equivalence of theories via automorphism groups
H. Andréka, J. Madarász, I. Németi +1
Two first-order logic theories are definitionally equivalent if and only if there is a bijection between their model classes that preserves isomorphisms and ultraproducts (Theorem…
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…