Article ID Journal Published Year Pages File Type
4662224 Annals of Pure and Applied Logic 2009 15 Pages PDF
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