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…