Some remarks on well-ordered models
Teorie množin, její vznik a vývoj
The internal and external aspect of logic and set theory in elementary topoi
Trajectories and natural numbers
Type d'ordre des ordinaux de modèles non dénombrables de la théorie des ensembles
Un paseo alrededor de la teoría de conjuntos.
-structures
О метатеории множеств.
Один подход к построению конструктивных аналогов теории множеств
Синтез метода резолюций с обратным методом
Слабая коммутативность рассеянного суммирования линейных порядков