Forcing Axioms and the Continuum Hypothesis, part II: Transcending ω_1-sequences of real numbers

Details Forcing Axioms and the Continuum Hypothesis, part II: Transcending ω_1-sequences of real numbers Forcing Axioms and the Continuum Hypothesis, part II: Transcending ω_1-sequences of real numbers

2011-10-23

arxiv.org/abs/1110.5037v1

Mathematics

Logic

12 pages. Comments welcome

Scientific paper

The purpose of this article is to prove that the forcing axiom for completely proper forcings is inconsistent with the Continuum Hypothesis. This answers a longstanding problem of Shelah. The corresponding completely proper forcing which can be constructed using CH is moreover a tree whose square is special off the diagonal. While such trees had previously been constructed by Jensen and Kunen under the assumption of Jensen's diamond principle, this is the first time such a construction has been carried out using the Continuum Hypothesis.

Affiliated with

Also associated with

No associations

Rating

Forcing Axioms and the Continuum Hypothesis, part II: Transcending ω_1-sequences of real numbers 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 Forcing Axioms and the Continuum Hypothesis, part II: Transcending ω_1-sequences of real numbers, we encourage you to share that experience with our LandOfFree.com community. Your opinion is very important and Forcing Axioms and the Continuum Hypothesis, part II: Transcending ω_1-sequences of real numbers will most certainly appreciate the feedback.

Rate now

Comments { 0 }

Profile ID: LFWR-SCP-O-526805