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 iff it is closed under isomorphisms and ultrapowers. Thank you Jan Pax