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
- 4
- Cited by