Iterated Forcing and Elementary Embeddings

DOI10.1007/978-1-4020-5764-9_13zbMath1198.03060OpenAlexW63070768MaRDI QIDQ3053899

James Cummings

Publication date: 5 November 2010

Published in: Handbook of Set Theory (Search for Journal in Brave)

Full work available at URL: https://doi.org/10.1007/978-1-4020-5764-9_13

Mathematics Subject Classification ID

Consistency and independence results (03E35) Large cardinals (03E55) Other aspects of forcing and Boolean-valued models (03E40)

Related Items (98)

A lifting argument for the generalized Grigorieff forcing ⋮ Indestructibility properties of Ramsey and Ramsey-like cardinals ⋮ Kurepa trees and the failure of the Galvin property ⋮ Forcing axioms and the Galvin number ⋮ -definability at uncountable regular cardinals ⋮ Rigid ideals ⋮ Patterns of stationary reflection ⋮ Lebesgue's density theorem and definable selectors for ideals ⋮ On a class of maximality principles ⋮ The \(\ast\)-variation of the Banach-Mazur game and forcing axioms ⋮ IDENTITY CRISIS BETWEEN SUPERCOMPACTNESS AND VǑPENKA’S PRINCIPLE ⋮ Preserving levels of projective determinacy by tree forcings ⋮ Easton's theorem in the presence of Woodin cardinals ⋮ Corson reflections ⋮ Subcompact cardinals, squares, and stationary reflection ⋮ In memoriam: James Earl Baumgartner (1943--2011) ⋮ On supercompactness and the continuum function ⋮ Partition properties for simply definable colourings ⋮ The strong reflecting property and Harrington's Principle ⋮ SUBCOMPACT CARDINALS, TYPE OMISSION, AND LADDER SYSTEMS ⋮ A framework for forcing constructions at successors of singular cardinals ⋮ Choiceless Ramsey theory of linear orders ⋮ Indestructibility properties of remarkable cardinals ⋮ Dowker and super-Dowker filters ⋮ Mutually embeddable models of ZFC ⋮ A definable failure of the singular cardinal hypothesis ⋮ STRUCTURAL PROPERTIES OF THE STABLE CORE ⋮ INDESTRUCTIBILITY OF THE TREE PROPERTY ⋮ TREES AND STATIONARY REFLECTION AT DOUBLE SUCCESSORS OF REGULAR CARDINALS ⋮ GENERIC LARGE CARDINALS AS AXIOMS ⋮ The first omitting cardinal for Magidority ⋮ STATIONARY REFLECTION AND THE FAILURE OF THE SCH ⋮ Forcing and the universe of sets: must we lose insight? ⋮ The tree property and the continuum function below ⋮ Salce's problem on cotorsion pairs is undecidable ⋮ Sigma-Prikry forcing. III: Down to \(\aleph_{\omega}\) ⋮ GENERIC LARGE CARDINALS AND SYSTEMS OF FILTERS ⋮ PERFECT SUBSETS OF GENERALIZED BAIRE SPACES AND LONG GAMES ⋮ INCOMPATIBILITY OF GENERIC HUGENESS PRINCIPLES ⋮ Negating the Galvin property ⋮ Rado’s Conjecture and its Baire version ⋮ ASYMMETRIC CUT AND CHOOSE GAMES ⋮ Indestructibility of Vopěnka's principle ⋮ Elementary chains and \(C ^{(n)}\)-cardinals ⋮ Projective wellorders and mad families with large continuum ⋮ Capturing sets of ordinals by normal ultrapowers ⋮ Combinatorial properties and dependent choice in symmetric extensions based on Lévy collapse ⋮ Stationary and closed rainbow subsets ⋮ Small models, large cardinals, and induced ideals ⋮ DEFINABLE MINIMAL COLLAPSE FUNCTIONS AT ARBITRARY PROJECTIVE LEVELS ⋮ WOODIN FOR STRONG COMPACTNESS CARDINALS ⋮ The failure of diamond on a reflecting stationary set ⋮ A uniform ultrafilter over a singular cardinal with a singular character ⋮ Strongly proper forcing and some problems of Foreman ⋮ A Laver-like indestructibility for hypermeasurable cardinals ⋮ Large cardinals and definable well-orders, without the GCH ⋮ The tree property at $\aleph _{\omega +2}$ with a finite gap ⋮ Characterizing large cardinals through Neeman's pure side condition forcing ⋮ WEAK SQUARES AND VERY GOOD SCALES ⋮ Group radicals and strongly compact cardinals ⋮ The Hurewicz dichotomy for generalized Baire spaces ⋮ Magidor cardinals ⋮ Ramsey-like cardinals ⋮ The definable tree property for successors of cardinals ⋮ Fresh subsets of ultrapowers ⋮ SQUARES, ASCENT PATHS, AND CHAIN CONDITIONS ⋮ NAMBA FORCING, WEAK APPROXIMATION, AND GUESSING ⋮ \(I_0\) and combinatorics at \(\lambda ^+\) ⋮ CLOSURE PROPERTIES OF MEASURABLE ULTRAPOWERS ⋮ Homogeneous iteration and measure one covering relative to HOD ⋮ An Easton like theorem in the presence of Shelah cardinals ⋮ Closure properties of parametric subcompleteness ⋮ Forcing lightface definable well-orders without the GCH ⋮ PFA and ideals on \(\omega_{2}\) whose associated forcings are proper ⋮ Derived models and supercompact measures on ⋮ Easton's theorem and large cardinals from the optimal hypothesis ⋮ JOINT DIAMONDS AND LAVER DIAMONDS ⋮ Forcing a \(\square(\kappa)\)-like principle to hold at a weakly compact cardinal ⋮ The weakly compact reflection principle need not imply a high order of weak compactness ⋮ Successive failures of approachability ⋮ Strongly compact cardinals and the continuum function ⋮ A TAIL CONE VERSION OF THE HALPERN–LÄUCHLI THEOREM AT A LARGE CARDINAL ⋮ Non-homogeneity of quotients of Prikry forcings ⋮ Fake reflection ⋮ Specializing trees and answer to a question of Williams ⋮ LARGE CARDINALS BEYOND CHOICE ⋮ The semi-weak square principle ⋮ On singular stationarity. I: Mutual stationarity and ideal-based methods ⋮ More rigid ideals ⋮ The failure of GCH at a degree of supercompactness ⋮ SEPARATING DIAGONAL STATIONARY REFLECTION PRINCIPLES ⋮ Adding a nonreflecting weakly compact set ⋮ UNIVERSISM AND EXTENSIONS OF V ⋮ The large cardinals between supercompact and almost-huge ⋮ Sigma-Prikry forcing I: The Axioms ⋮ Easton's theorem for Ramsey and strongly Ramsey cardinals ⋮ A weakly normal ultrafilter amenable to its ultrapower ⋮ Normal measures on large cardinals

This page was built for publication: Iterated Forcing and Elementary Embeddings