2 citations · 3 across the 2 of their papers we have counts for
2 papers
math.LO2023★ 1 cited
Logic families
H. Andréka, Z. Gyenis, I. Németi +1
A logic family is a bunch of logics that belong together in some way. First-order logic is one of the examples. Logics organized into a structure occurs in abstract model theory, i…
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…