A framework for forcing constructions at successors of singular cardinals

DOI10.1090/tran/6974zbMath1423.03185arXiv1403.6795OpenAlexW1919205046MaRDI QIDQ5348742

No author found.

Publication date: 21 August 2017

Published in: Transactions of the American Mathematical Society (Search for Journal in Brave)

Full work available at URL: https://arxiv.org/abs/1403.6795

zbMATH Keywords

iterated forcinguniversal graphsuccessor of singular cardinalforcing axiomindestructible supercompact cardinalradin forcingstrong chain condition

Mathematics Subject Classification ID

Consistency and independence results (03E35) Large cardinals (03E55) Applications of set theory (03E75)

Related Items (5)

Universal graphs at \(\aleph_{\omega_1 + 1}\) ⋮ Some Banach spaces added by a Cohen real ⋮ Forcing axioms for λ‐complete μ+$\mu ^+$‐c.c. ⋮ Asymptotic Quasi-completeness and ZFC ⋮ Sigma-Prikry forcing I: The Axioms

Cites Work

• Unnamed Item
• Unnamed Item
• Unnamed Item
• Magidor-like and Radin-like forcing
• The negation of the singular cardinal hypothesis from \(o(\kappa)=\kappa ^{++}\)
• About splitting numbers
• Set theory. An introduction to independence proofs
• Non-standard real number systems with regular gaps
• Making the supercompactness of \(\nu\) indestructible under \(\nu\)-directed closed forcing
• A weak generalization of MA to higher cardinals
• On the existence of universal models
• The strength of the failure of the singular cardinal hypothesis
• SQUARES, SCALES AND STATIONARY REFLECTION
• Jensen's diamond principle and its relatives
• Iterated Forcing and Elementary Embeddings
• Prikry-Type Forcings
• Universal graphs at the successor of a singular cardinal
• SMALL UNIVERSAL FAMILIES OF GRAPHS ON ℵ_{ω + 1}
• The core model for sequences of measures. I
• Diamonds
• The ℵ 2 \1-Souslin Hypothesis
• Adding closed cofinal sequences to large cardinals
• A new proof that analytic sets are Ramsey
• Splitting number at uncountable cardinals
• Set Theory
• Proper and Improper Forcing

This page was built for publication: A framework for forcing constructions at successors of singular cardinals