Article contents
The nonstationary ideal in the ℙmax extension
Published online by Cambridge University Press: 12 March 2014
Abstract
The forcing construction ℙmax, invented by W. Hugh Woodin, produces a model whose collection of subsets of ω1 is in some sense maximal. In this paper we study the Boolean algebra induced by the nonstationary ideal on ω1 in this model. Among other things we show that the induced quotient does not have a simply definable form. We also prove several results about saturation properties of the ideal in this extension.
- Type
- Research Article
- Information
- Copyright
- Copyright © Association for Symbolic Logic 2007
References
REFERENCES
- 2
- Cited by