scientific article
From MaRDI portal
Publication:3921212
zbMath0468.03031MaRDI QIDQ3921212
No author found.
Publication date: 1982
Title: zbMATH Open Web Interface contents unavailable due to conflicting licenses.
Research exposition (monographs, survey articles) pertaining to mathematical logic and foundations (03-02) Consistency and independence results (03E35) Inner models, including constructibility, ordinal definability, and core models (03E45)
Related Items (52)
The independence of ⋮ Outer models and genericity ⋮ Ordinal definability in Jensen's model ⋮ Comparing incomparable kleene degrees ⋮ A simpler proof of Jensen's coding theorem ⋮ Forcing the failure of CH by adding a real ⋮ Strong coding ⋮ Combinatorial principles in the core model for one Woodin cardinal ⋮ Characterizations of pretameness and the Ord-cc ⋮ Definable Singularity ⋮ Applications of iterated perfect set forcing ⋮ A non-generic real incompatible with \(0^\sharp\) ⋮ Some results on higher Suslin trees ⋮ Minimal coding ⋮ \(\Delta_ 1\)-definability ⋮ A combinatorial forcing for coding the universe by a real when there are no sharps ⋮ The combinatorics of combinatorial coding by a real ⋮ The genericity conjecture ⋮ Morasses, square and forcing axioms ⋮ The reals in core models ⋮ On the consistency strength of the inner model hypothesis ⋮ Characterising subsets of ω1 constructible from a real ⋮ The ground axiom is consistent with V $\neq $ HOD ⋮ Global square and mutual stationarity at the \(\aleph_n\) ⋮ CLASS FORCING, THE FORCING THEOREM AND BOOLEAN COMPLETIONS ⋮ Results on the generic Kurepa hypothesis ⋮ Smooth categories and global \(\square\) ⋮ 0^{♯} and elementary end extensions of 𝑉_{𝜅} ⋮ NORMAL MEASURES ON A TALL CARDINAL ⋮ Backwards easton forcing and 0# ⋮ An effective minimal encoding of uncountable sets ⋮ The stationarity of the collection of the locally regulars ⋮ Hyperclass Forcing in Morse-Kelley Class Theory ⋮ Evidence for Set-Theoretic Truth and the Hyperuniverse Programme ⋮ On Strong Forms of Reflection in Set Theory ⋮ Coding without fine structure ⋮ Ramsey-like cardinals II ⋮ Proper forcing and remarkable cardinals II ⋮ The natural hierarchy and quasi-hierarchy of constructibility degrees ⋮ On coding uncountable sets by reals ⋮ Forcing closed unbounded subsets of \(\omega_2\) ⋮ Internal Consistency and the Inner Model Hypothesis ⋮ Set-theoretic geology ⋮ Internal consistency for embedding complexity ⋮ Projective Measure Without Projective Baire ⋮ A functorial \(\pi ^ 1_ 2\) singleton ⋮ Co-stationarity of the ground model ⋮ SET FORCING AND STRONG CONDENSATION FORH(ω2) ⋮ A \(\Pi_ 2^ 1\) singleton incompatible with \(0^ \#\) ⋮ Proper Forcing and Remarkable Cardinals ⋮ Coding into 𝐾 by reasonable forcing ⋮ ON RESTRICTIONS OF ULTRAFILTERS FROM GENERIC EXTENSIONS TO GROUND MODELS
This page was built for publication:
