• DML-CZ Home

02K15 

• Sochor, Antonín: Metamathematics of the alternative set theory. I. (English). Commentationes Mathematicae Universitatis Carolinae, vol. 20 (1979), issue 4, pp. 697-722
• Hájek, Petr: Why semisets?. (English). Commentationes Mathematicae Universitatis Carolinae, vol. 14 (1973), issue 3, pp. 397-420
• Štěpánková, Olga: Construction by transfinite induction. (English). Commentationes Mathematicae Universitatis Carolinae, vol. 13 (1972), issue 3, pp. 583-591
• Hájek, Petr: On interpretability in set theories. II. (English). Commentationes Mathematicae Universitatis Carolinae, vol. 13 (1972), issue 3, pp. 445-455
• Kussová, B.: Trajectories and natural numbers. (English). Acta Universitatis Carolinae. Mathematica et Physica, vol. 12 (1971), issue 2, pp. 3-20