Results

**1 - 2**of**2**###
Iterated Forcing with ${}^{\omega}\omega$-bounding and *Semiproper* *Preorders*

"... Assume the Continuum Hypothesis (CH) in the ground model. If we iteratively force with preorders which are $\omega\omega$-bounding and semiproper taking suitable limits, then so is the final preorder constructed. Therefore we may show that the Cofinal Branch Principle (CBP) of [F] is strictly weaker ..."

Abstract
- Add to MetaCart

Assume the Continuum Hypothesis (CH) in the ground model. If we iteratively force with

*preorders*which are $\omega\omega$-bounding and*semiproper*taking suitable limits, then so is the final*preorder*constructed. Therefore we may show that the Cofinal Branch Principle (CBP) of [F] is strictly### BSPFA Combined with One Measurable Cardinal

"... We consider consequences of BSPFA (Bounded Semi-Proper Forcing Axiom) combined with an existence of ameasurable cardinal. The large cardinal assures existences of relevant semiproper preorders via Chang’s Conjecture tyPe arguments. ..."

Abstract
- Add to MetaCart

We consider consequences of BSPFA (Bounded

*Semi-Proper*Forcing Axiom) combined with an existence of ameasurable cardinal. The large cardinal assures existences of relevant*semiproper**preorders*via Chang’s Conjecture tyPe arguments.**1 - 2**of

**2**