TY - JOUR AU - Guričan, Jaroslav AU - Zlatoš, Pavol TI - Biequivalences and topology in the alternative set theory JO - Commentationes Mathematicae Universitatis Carolinae PY - 1985 SP - 525 EP - 552 VL - 26 IS - 3 UR - http://geodesic.mathdoc.fr/item/CMUC_1985_26_3_a7/ LA - en ID - CMUC_1985_26_3_a7 ER -