The contracted model of exploded real numbers. Szalay, I. (2005) Acta Mathematica Academiae Paedagogicae Nyí regyháziensis. New Series [electronic only]
The laminary model of the exploded Descartes-plane. Szalay, I. (2006) Acta Mathematica Academiae Paedagogicae Nyí regyháziensis. New Series [electronic only]
The role of the omitting types theorem in infinitary logic. Jon Barwise (1981) Archiv für mathematische Logik und Grundlagenforschung