02B99
- : Definability degrees for classes in the alternative set theory. (English). Commentationes Mathematicae Universitatis Carolinae, vol. 29 (1988), issue 1, pp. 41-48
- : Countable inductive definitions in AST. (English). Commentationes Mathematicae Universitatis Carolinae, vol. 27 (1986), issue 1, pp. 17-33
Search
Partner of
