The Nonstationary Ideal in the Pmax Extension

Journal of Symbolic Logic 72 (1):138 - 158 (2007)


The forcing construction Pmax, invented by W. Hugh Woodin, produces a model whose collection of subsets of ω₁ is in some sense maximal. In this paper we study the Boolean algebra induced by the nonstationary ideal on ω₁ 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

Download options


    Upload a copy of this work     Papers currently archived: 72,660

External links

Setup an account with your affiliations in order to access resources via your University's proxy server

Through your library


Added to PP

50 (#230,549)

6 months
1 (#388,311)

Historical graph of downloads
How can I increase my downloads?

Similar books and articles

On Precipitousness of the Nonstationary Ideal Over a Supercompact.Moti Gitik - 1986 - Journal of Symbolic Logic 51 (3):648-662.
Nonstationary Time Series, Cointegration, and the Principle of the Common Cause.Kevin D. Hoover - 2003 - British Journal for the Philosophy of Science 54 (4):527-551.
Simmel and Weber as Idealtypical Founders of Sociology.Frédéric Vandenberghe - 1999 - Philosophy and Social Criticism 25 (4):57-80.
Patriotism: A Primitive Ideal.Max Forrester Eastman - 1906 - International Journal of Ethics 16 (4):472-486.
Powers of the Ideal of Lebesgue Measure Zero Sets.Maxim R. Burke - 1991 - Journal of Symbolic Logic 56 (1):103-107.