On the strength of several versions of Dirichlet's ("Pigeon-Hole"-) principle in the sense of first-order logic. T.v.d. Twer (1981) Archiv für mathematische Logik und Grundlagenforschung
On Tykhonov's theorem for convergence of solutions of slow and fast systems. Lobry, Claude, Sari, Tewfik, Touhami, Sefiane (1998) Electronic Journal of Differential Equations (EJDE) [electronic only]
On Σ 1 0 -extensions of ω . Mijajlović, Žarko (1983) Publications de l'Institut Mathématique. Nouvelle Série
Ordered ultraconnected rings Melvin Henriksen, Frank A. Smith (1990) Commentationes Mathematicae Universitatis Carolinae
Order-types of models of arithmetic and a connection with arithmetic saturation. Bovykin, Andrey (2004) Lobachevskii Journal of Mathematics