Formulas and ultraproducts in categories HAJNALKA ANDRÉKA, ISTVÁN NÉMETI (1979) Beiträge zur Algebra und Geometrie = Contributions to algebra and geometry
Fragments of complete extensions of PA and McDowell-Specker's theorem. Farah, Ilijas (1992) Publications de l'Institut Mathématique. Nouvelle Série