Shortening of the universal class in the alternative set theory [Abstract of thesis] Eva Zmeškalová — 1988 Commentationes Mathematicae Universitatis Carolinae