A strong antidiamond principle compatible with CH

Details A strong antidiamond principle compatible with CH A strong antidiamond principle compatible with CH

2008-06-26

arxiv.org/abs/0806.4220v1

Mathematics

Logic

54 pages (Elsevier article style). To appear in Annals of Pure and Applied Logic. Homepage: http://homepage.univie.ac.at/Jam

Scientific paper

A 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 omega-1 (i.e. an ideal that is sigma-directed under inclusion modulo finite) either has a closed unbounded subset of omega-1 locally inside of it, or else has a stationary subset of omega-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.

Affiliated with

Also associated with

No associations

Rating

A strong antidiamond principle compatible with CH does not yet have a rating. At this time, there are no reviews or comments for this scientific paper.

If you have personal experience with A strong antidiamond principle compatible with CH, we encourage you to share that experience with our LandOfFree.com community. Your opinion is very important and A strong antidiamond principle compatible with CH will most certainly appreciate the feedback.

Rate now

Comments { 0 }

Profile ID: LFWR-SCP-O-245306