Definability degrees for classes in the alternative set theory Athanossios Tzouvaras (1988) Commentationes Mathematicae Universitatis Carolinae