• DML-CZ Home

02K05 

• Sochor, Antonín: Metamathematics of the alternative set theory. I. (English). Commentationes Mathematicae Universitatis Carolinae, vol. 20 (1979), issue 4, pp. 697-722
• Mlček, Josef: End-extensions of countable structures and the induction schema. (English). Commentationes Mathematicae Universitatis Carolinae, vol. 19 (1978), issue 2, pp. 291-308
• Marek, Wiktor V.; Sochor, Antonín: On a weak Kelley-Morse theory of classes. (English). Commentationes Mathematicae Universitatis Carolinae, vol. 19 (1978), issue 2, pp. 371-381
• Solomon, R. C.: Families of sets and functions. (English). Czechoslovak Mathematical Journal, vol. 27 (1977), issue 4, pp. 556-559
• Bukovský, Lev: Iterated ultrapower and Prikry's forcing. (English). Commentationes Mathematicae Universitatis Carolinae, vol. 18 (1977), issue 1, pp. 77-85
• Čuda, Karel: The nonabsolute boundedness model of the theory of semisets. (English). Commentationes Mathematicae Universitatis Carolinae, vol. 18 (1977), issue 4, pp. 763-769
• Nešetřil, Jaroslav: Riga $p$-point. (English). Commentationes Mathematicae Universitatis Carolinae, vol. 18 (1977), issue 4, pp. 675-683
• Sochor, Antonín: Real classes in the ultrapower of hereditarily finite sets. (English). Commentationes Mathematicae Universitatis Carolinae, vol. 16 (1975), issue 4, pp. 637-640
• Bukovský, Lev: Changing cofinality of a measurable cardinal (An alternative proof). (English). Commentationes Mathematicae Universitatis Carolinae, vol. 14 (1973), issue 4, pp. 689-698
• Hájek, Petr: Why semisets?. (English). Commentationes Mathematicae Universitatis Carolinae, vol. 14 (1973), issue 3, pp. 397-420
• Hájek, Petr: On interpretability in set theories. II. (English). Commentationes Mathematicae Universitatis Carolinae, vol. 13 (1972), issue 3, pp. 445-455
• Vopěnka, Petr: O prvním Hilbertově problému (Hypotéza kontinua a axióm výběru). (Czech) [The first Hilbert problem (Continuum hypothesis and axiom of choice)]. Pokroky matematiky, fyziky a astronomie, vol. 16 (1971), issue 3, pp. 117-129
• Hájek, Petr: On interpretability in set theories. (English). Commentationes Mathematicae Universitatis Carolinae, vol. 12 (1971), issue 1, pp. 73-79
• Tall, F. D.: Some set-theoretic consistency results in topology. (English). In: Novák, J. (ed.): General Topology and its Relations to Modern Analysis and Algebra. Proceedings of the Third Prague Topological Symposium, 1971. Academia Publishing House of the Czechoslovak Academy of Sciences, Praha, 1972. pp. 419-425