The notions of w-net and Y-compact space viewed under infinitesimal microscope. Živaljević, Rade (1983) Publications de l'Institut Mathématique. Nouvelle Série
Théorème d'Ascoli et application aux groupes topologiques localement compacts en analyse non standard Christine Charretton, Denis Richard (1975) Publications du Département de mathématiques (Lyon)
Topological properties of the real numbers object in a topos Lawrence Neff Stout (1976) Cahiers de Topologie et Géométrie Différentielle Catégoriques
Translation of nonstandard definitions to standard ones Karel Čuda (1984) Commentationes Mathematicae Universitatis Carolinae
Two examples of Q-topologies. Živaljević, Rade (1984) Publications de l'Institut Mathématique. Nouvelle Série