Journal of Symbolic Logic
- J. Symbolic Logic
- Volume 72, Issue 1 (2007), 349-360.
Forcing indestructibility of set-theoretic axioms
Various theorems for the preservation of set-theoretic axioms under forcing are proved, regarding both forcing axioms and axioms true in the Lévy collapse. These show in particular that certain applications of forcing axioms require to add generic countable sequences high up in the set-theoretic hierarchy even before collapsing everything down to ℵ₁. Later we give applications, among them the consistency of MM with ℵω not being Jónsson which answers a question raised in the set theory meeting at Oberwolfach in 2005.
J. Symbolic Logic, Volume 72, Issue 1 (2007), 349-360.
First available in Project Euclid: 23 March 2007
Permanent link to this document
Digital Object Identifier
Mathematical Reviews number (MathSciNet)
Zentralblatt MATH identifier
König, Bernhard. Forcing indestructibility of set-theoretic axioms. J. Symbolic Logic 72 (2007), no. 1, 349--360. doi:10.2178/jsl/1174668399. https://projecteuclid.org/euclid.jsl/1174668399