Shortening of the universal class in the alternative set theory [Abstract of thesis]. (English). Commentationes Mathematicae Universitatis Carolinae, vol. 29 (1988), issue 1, pp. 203