scientific article; zbMATH DE number 3351572

zbMath0222.02077MaRDI QIDQ5626664

Robert M. Solovay, R. B. Jensen

Publication date: 1970

Title: zbMATH Open Web Interface contents unavailable due to conflicting licenses.

Mathematics Subject Classification ID

Inner models, including constructibility, ordinal definability, and core models (03E45) Other set-theoretic hypotheses and axioms (03E65) Other aspects of forcing and Boolean-valued models (03E40)

Related Items (34)

Models of set theory in which the separation theorem fails ⋮ A simpler proof of Jensen's coding theorem ⋮ On the ‘definability of definable’ problem of Alfred Tarski, Part II ⋮ -definability at uncountable regular cardinals ⋮ \(\Pi_ 1^ 1\) wellfounded relations ⋮ Applications of iterated perfect set forcing ⋮ Playing with admissibility spectra ⋮ The full basis theorem does not imply analytic wellordering ⋮ Definable MAD families and forcing axioms ⋮ Co-analytic mad families and definable wellorders ⋮ A consequence of the Martin axiom ⋮ Continuous images of closed sets in generalized Baire spaces ⋮ Unnamed Item ⋮ Countable admissible ordinals and hyperdegrees ⋮ 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 ⋮ Forcing the \(\Pi_3^1\)-reduction property and a failure of \(\Pi_3^1\)-uniformization ⋮ Counterexamples to countable-section \(\varPi_2^1\) uniformization and \(\varPi_3^1\) separation ⋮ Iterated elementary embeddings and the model theory of infinitary logic ⋮ Projective mad families ⋮ Minimal collapsing extensions of models of ZFC ⋮ DEFINABLE MINIMAL COLLAPSE FUNCTIONS AT ARBITRARY PROJECTIVE LEVELS ⋮ An effective minimal encoding of uncountable sets ⋮ The stationarity of the collection of the locally regulars ⋮ Forcing lightface definable well-orders without the GCH ⋮ Generic absoluteness ⋮ Models of set theory with definable ordinals ⋮ On cardinal collapsing with reals ⋮ Robinson forcing is not absolute ⋮ A \(\pi^1_2\) singleton with no sharp in a generic extension of \(L^\#\) ⋮ Forcings with ideals and simple forcing notions ⋮ Minimal model of \(\aleph ^ L_ 1\) is countable and definable reals ⋮ THE MODAL LOGIC OF -CENTERED FORCING AND RELATED FORCING CLASSES ⋮ NS SATURATED AND -DEFINABLE ⋮ A \(\Pi_ 2^ 1\) singleton incompatible with \(0^ \#\)

This page was built for publication: