Basic equivalences in the alternative set theory Karel Čuda, Blanka Vojtášková (1982) Commentationes Mathematicae Universitatis Carolinae
Biequivalences and topology in the alternative set theory Jaroslav Guričan, Pavol Zlatoš (1985) Commentationes Mathematicae Universitatis Carolinae