Forcing notions in inner models

DOI10.1007/s00153-009-0141-7zbMath1178.03062OpenAlexW2019937194MaRDI QIDQ1031829

David Asperó

Publication date: 23 October 2009

Published in: Archive for Mathematical Logic (Search for Journal in Brave)

Full work available at URL: https://doi.org/10.1007/s00153-009-0141-7

zbMATH Keywords

forcingposetsstationary setscoding of reals into ordinalsCohen generic

Mathematics Subject Classification ID

Large cardinals (03E55) Other combinatorial set theory (03E05) Other aspects of forcing and Boolean-valued models (03E40) Other notions of set-theoretic definability (03E47)

Cites Work

• Unnamed Item
• Martin's maximum, saturated ideals, and nonregular ultrafilters. I
• Forcing axioms and stationary sets
• The axiom of determinacy, forcing axioms, and the nonstationary ideal
• Large cardinals and definable counterexamples to the continuum hypothesis
• Projective Stationary Sets and a Strong Reflection Principle
• Set Theory
• The axiom of choice