Paper Info
Title
Forcing indestructibility of set-theoretic axioms
Abstract
Various theorems for the preservation of set-theoretic axioms under forcing are proved, regarding both forcing axioms and axioms true in the Levy 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 NI. Later we give applications, among them the consistency of MM with N-omega not being Jonsson which answers a question raised in the set theory meeting at Oberwolfach in 2005.
Year
DOI
Venue
2007
10.2178/jsl/1174668399
JOURNAL OF SYMBOLIC LOGIC
Keywords
Field
DocType
forcing axioms,transfer principles
Construction of the real numbers,Discrete mathematics,Kuratowski closure axioms,Axiom,Forcing (mathematics),Mathematics
Journal
Volume
Issue
ISSN
72
1
0022-4812
Citations 
PageRank 
References 
1
0.40
0
Authors
1
Name
Order
Citations
PageRank
Bernhard König1445.84