Article contents
P-ideal dichotomy and weak squares
Published online by Cambridge University Press: 12 March 2014
Abstract
We answer a question of Cummings and Magidor by proving that the P-ideal dichotomy of Todorčević refutes □κ,ω for any uncountable κ. We also show that the P-ideal dichotomy implies the failure of □κ,<b provided that cf(κ) > ω1.
- Type
- Research Article
- Information
- Copyright
- Copyright © Association for Symbolic Logic 2013
References
REFERENCES
- 2
- Cited by