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 .
Articles by others on the same topic
There are currently no matching articles.