Article thumbnail

A strong antidiamond principle compatible with CH

By James Hirschorn


AbstractA strong antidiamond principle (⋆c) is shown to be consistent with CH. This principle can be stated as a “P-ideal dichotomy”: every P-ideal on ω1 (i.e. an ideal that is σ-directed under inclusion modulo finite) either has a closed unbounded subset of ω1 locally inside of it, or else has a stationary subset of ω1 orthogonal to it. We rely on Shelah’s theory of parameterized properness for NNR iterations, and make a contribution to the theory with a method of constructing the properness parameter simultaneously with the iteration. Our handling of the application of the NNR iteration theory involves definability of forcing notions in third order arithmetic, analogous to Souslin forcing in second order arithmetic

Publisher: Elsevier B.V.
Year: 2009
DOI identifier: 10.1016/j.apal.2008.09.021
OAI identifier:

Suggested articles

To submit an update or takedown request for this paper, please submit an Update/Correction/Removal Request.