Some consequences of the axiom of constructibility
From MaRDI portal
Publication:3265771
DOI10.4064/fm-46-3-337-357zbMath0091.05301OpenAlexW787956062WikidataQ114573871 ScholiaQ114573871MaRDI QIDQ3265771
Publication date: 1959
Published in: Fundamenta Mathematicae (Search for Journal in Brave)
Full work available at URL: https://eudml.org/doc/213518
Related Items
Models of set theory in which the separation theorem fails, A complete classification of the Δ₂¹-functions, Some results in the effective descriptive set theory, Some properties of $\sum\nolimits_1^1$- and $\prod\nolimits_1^1$-sets in $N^N $, Turing meets Schanuel, The unique existential quantifier, The Forcing Method and the Upper Semilattice of Hyperdegrees, Axiom of comparable choice and uniformizability of projective classes, More on generic dimension groups, A good lightface \(\varDelta_n^1\) well-ordering of the reals does not imply the existence of boldface \(\mathbf{\Delta}_{n - 1}^1\) well-orderings, On predicates expressible in the $1$-function quantifier forms in Kleene Hierarchy with free variables of type $2$, On definable subgroups of the fundamental group, From wqo to bqo, via Ellentuck's theorem, Cantor set selectors, A Souslin operation for \(\Pi^1_2\), On some new metamathematical results concerning set theory, Levy and set theory, Robinson forcing is not absolute, Computable numberings of families of infinite sets, A criterion for the metrizability of a compact convex set in terms of the set of extreme points
