Article ID | Journal | Published Year | Pages | File Type |
---|---|---|---|---|
4662224 | Annals of Pure and Applied Logic | 2009 | 15 Pages |
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.
Related Topics
Physical Sciences and Engineering
Mathematics
Logic