Abstract
We shall show the consistency of CH+¬(+) and CH+(+)+there are no club guessing sequences on ω₁. We shall also prove that ♢⁺ does not imply the existence of a strong club guessing sequence on ω₁.
Citation
Tetsuya Ishiu. Paul B. Larson. "Some results about (+) proved by iterated forcing." J. Symbolic Logic 77 (2) 515 - 531, June 2012. https://doi.org/10.2178/jsl/1333566635
Information
