• DML-CZ Home

03E45 Inner models, including constructibility, ordinal definability, and core models (10 articles)

• Bukovský, Lev: Generic extensions of models of ZFC. (English). Commentationes Mathematicae Universitatis Carolinae, vol. 58 (2017), issue 3, pp. 347-358
• Repický, Miroslav: A proof of the independence of the Axiom of Choice from the Boolean Prime Ideal Theorem. (English). Commentationes Mathematicae Universitatis Carolinae, vol. 56 (2015), issue 4, pp. 543-546
• Räsch, Thoralf: Extendibility of embeddings. (English). Acta Universitatis Carolinae. Mathematica et Physica, vol. 42 (2001), issue 2, pp. 75-88
• Bukovský, Lev; Skřivánek, Jaroslav: The smallest common extension of a sequence of models of ZFC. (English). Commentationes Mathematicae Universitatis Carolinae, vol. 35 (1994), issue 4, pp. 745-752
• Sgall, Jiří: Forcing in the alternative set theory. I. (English). Commentationes Mathematicae Universitatis Carolinae, vol. 32 (1991), issue 2, pp. 323-337
• Sgall, Jiří; Sochor, Antonín: Forcing in the alternative set theory. II. (English). Commentationes Mathematicae Universitatis Carolinae, vol. 32 (1991), issue 2, pp. 339-353
• Balcar, Bohuslav; Simon, Petr: On collections of almost disjoint families. (English). Commentationes Mathematicae Universitatis Carolinae, vol. 29 (1988), issue 4, pp. 631-646
• Sochor, Antonín: Constructibility and shiftings of view. (English). Commentationes Mathematicae Universitatis Carolinae, vol. 26 (1985), issue 3, pp. 477-498
• Comfort, W. W.: O riešení niektorých nerozhodnutelných topologických problémov. (Slovak) [Deciding some undecidable topological statements]. Pokroky matematiky, fyziky a astronomie, vol. 27 (1982), issue 5, pp. 252-272
• 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