Translator Disclaimer
June 2012 Some results about (+) proved by iterated forcing
Tetsuya Ishiu, Paul B. Larson
J. Symbolic Logic 77(2): 515-531 (June 2012). DOI: 10.2178/jsl/1333566635

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

Download 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

Published: June 2012
First available in Project Euclid: 4 April 2012

zbMATH: 1251.03055
MathSciNet: MR2963019
Digital Object Identifier: 10.2178/jsl/1333566635

Subjects:
Primary: 03E35

Rights: Copyright © 2012 Association for Symbolic Logic

JOURNAL ARTICLE
17 PAGES

This article is only available to subscribers.
It is not available for individual sale.
+ SAVE TO MY LIBRARY

SHARE
Vol.77 • No. 2 • June 2012
Back to Top