Existential axiomatization from extension closure

ID: existential-axiomatization-from-extension-closure

A first-order model class axiomatized by a theory is closed under extensions exactly when it has an existential axiomatization. If satisfies all existential consequences of , then is jointly satisfiable with the universal theory of : any finite obstruction would negate a universal conjunction and produce a violated existential consequence. Embed a model of into a model elementarily equivalent to , apply extension closure, and transfer truth back to .

New to topics? Read the docs here!