Title of article
Dense non-reflection for stationary collections of countable sets
Author/Authors
Asperَ، نويسنده , , David A. Krueger، نويسنده , , John and Yoshinobu، نويسنده , , Yasuo، نويسنده ,
Issue Information
روزنامه با شماره پیاپی سال 2009
Pages
15
From page
94
To page
108
Abstract
We present several forcing posets for adding a non-reflecting stationary subset of P ω 1 ( λ ) , where λ ≥ ω 2 . We prove that PFA is consistent with dense non-reflection in P ω 1 ( λ ) , which means that every stationary subset of P ω 1 ( λ ) contains a stationary subset which does not reflect to any set of size ℵ 1 . If λ is singular with countable cofinality, then dense non-reflection in P ω 1 ( λ ) follows from the existence of squares.
Keywords
Dense non-reflection , Proper forcing axiom
Journal title
Annals of Pure and Applied Logic
Serial Year
2009
Journal title
Annals of Pure and Applied Logic
Record number
1444355
Link To Document