Aspects of constructibility

zbMath0312.02054MaRDI QIDQ1219884

Publication date: 1973

Published in: Lecture Notes in Mathematics (Search for Journal in Brave)

Descriptive set theory (03E15) Research exposition (monographs, survey articles) pertaining to mathematical logic and foundations (03-02) Large cardinals (03E55)

Related Items

\(\omega_ 1\)-constructible universe and measurable cardinals, The Blumberg Problem, S-forcing. IIa: Adding diamonds and more applications: Coding sets, Arhangel'skii's problem and \({\mathcal L}[Q_ 1^{<\omega},Q^ 1_ 2\). (With an appendix by John P. Burgess)], Semimorasses and nonreflection at singular cardinals, The limits of E-recursive enumerability, Strong coding, Admissibility spectra through \(\omega _ 1\), Playing with admissibility spectra, Admissibility spectra and minimality, Minimal coding, On λ-Definable Functions on Ordinals, An introduction to γ-recursion theory (or what to do in KP – Foundation), The ordertype of β-R.E. sets, On constructions with 2-cardinals, On countably compact, locally countable spaces, Set theory and the analyst, The gap‐two cardinal problem for uncountable languages, Uncountable master codes and the jump hierarchy, Post's problem without admissibility, Trees and continuous mappings into the real line, Whitehead groups may not be free even assuming CH. II, Analytic definability of constructive real numbers, On the small diagonals, Construction of definable degrees of constructibility, Better quasi-orders for uncountable cardinals, On the transversal hypothesis and the weak kurepa hypothesis, Backwards easton forcing and 0^#, Cardinal transfer properties in extender models, A Forcing Axiom Deciding the Generalized Souslin Hypothesis, Models with second order properties in successors of singulars, On a question of Silver about gap-two cardinal transfer principles, Definable Ramsey and definable Erdös ordinals, Beyond Erdős-Kunen-Mauldin: shift-compactness properties and singular sets, A construction scheme for non-separable structures, Order types, trees, and a problem of Erdős and Hajnal, On minimal pairs and minimal degrees in higher recursion theory, A note on a problem of Erdős and Hajnal, Reflection and Weakly Collectionwise Hausdorff Spaces, Partition relations for successor cardinals, Inadmissible recursion theory, CHANG’S CONJECTURE, GENERIC ELEMENTARY EMBEDDINGS AND INNER MODELS FOR HUGE CARDINALS, On constructing indecomposable groups in L, Representing Sets of Ordinals as Countable Unions of Sets in the Core Model, Existentially closed structures and Jensen's principle \(\diamond\), On the existence of an analytic set meeting each compact set in a Borel set, Robinson forcing is not absolute, Constructible models of subsystems of ZF, A complete Boolean algebra without homogeneous or rigid factors, A weak version of \(\lozenge\) which follows from \(2^{\aleph_0}<2^{\aleph_1}\), Order-isomorphic \(\eta _1\)-orderings in Cohen extensions, On uncountable Abelian groups, Surrealist landscape with figures (a survey of recent results in set theory), Large cardinals and gap-1 morasses, Minimal model of \(\aleph ^ L_ 1\) is countable and definable reals, Countably decomposable admissible sets, Embedding Graphs into Colored Graphs, On strong chains of uncountable functions, S-forcing. I: a black-box theorem for morasses, with applications to super-Souslin trees, Färbungen großer Würfel mit bunten Wegen, Higher gap morasses, Ia: Gap-two morasses and condensation, Classification theory for non-elementary classes. I: The number of uncountable models of \(\psi \in L_{\omega _ 1,\omega}\), What is Absolute Undecidability?†, A \(\Pi_ 2^ 1\) singleton incompatible with \(0^ \#\), Non-closure of the image model and absence of fixed points, Two weak consequences of 0^#, Simplified morasses