Revealments
Shiftings of the horizon
Some applications of non-standard analysis to proximity spaces
The axiom of reflection
The consistency of the measurability of projective semisets
The lattice of indiscernibility equivalences
Ultrafilters of sets
Zur Idealstruktur in Nichtstandardmodellen von Dedekindringen.
Вариант нестандартного выпуклого программирования
Монады проультрафильтров и экстенсиональных фильтров.
О комбинировании нестандартных методов. I. Монaдология.
О нестандартной аксиоматизации элементарно неаксиоматизируемых классов дискретных алгебраических систем.
О применении повторных нестандартных расширений в топологии.
О топологических понятиях, близких к непрерывности.