We generalize the following results of infinitary first order logic:
A class 
of models is axiomatizable by universal / existential / positive / negative formulas iff it is closed under submodels / extensions / homomorphic images / surjective homomorphic preimages.
Continue reading “An abstract infinitary presevervation theorem”