Article contents
Some results about (+) proved by iterated forcing
Published online by Cambridge University Press: 12 March 2014
Abstract
We shall show the consistency of CH+⌝(+) and CH+(+)+there are no club guessing sequences on ω1. We shall also prove that ◊+ does not imply the existence of a strong club guessing sequence on ω1.
- Type
- Research Article
- Information
- Copyright
- Copyright © Association for Symbolic Logic 2012
References
REFERENCES
[1]
Ishiu, T., Club guessing sequences and filters, this Journal, vol. 70 (2005), no. 4, pp. 1037–1071.Google Scholar
[2]
Larson, P., The canonical function game, Archive for Mathematical Logic, vol. 44 (2005), no. 7, pp. 817–827.CrossRefGoogle Scholar
[3]
Moore, Justin Tatch, ω1 and −ω1 may be the only minimal uncountable linear orders, Michigan Mathematical Journal, vol. 55 (2007), no. 2, pp. 437–457.CrossRefGoogle Scholar
[4]
Shelah, Saharon, Proper and improper forcing, second ed., Perspectives in Mathematical Logic, Springer-Verlag, Berlin, 1998.CrossRefGoogle Scholar
- 4
- Cited by