[FOM] First order axiomatizability

pax0 at seznam.cz pax0 at seznam.cz
Thu Nov 24 14:40:09 EST 2011

Does someone know where there is a proof (and whose result it is) the following:
A class of first order strucutres is fisrt order axiomatizable 
it is closed under isomorphisms and ultrapowers.
Thank you Jan Pax

More information about the FOM mailing list