Biequivalences and topology in the alternative set theory Jaroslav Guričan, Pavol Zlatoš (1985) Commentationes Mathematicae Universitatis Carolinae