Translator Disclaimer
March 2007 The nonstationary ideal in the ℛmax extension
Paul B. Larson
J. Symbolic Logic 72(1): 138-158 (March 2007). DOI: 10.2178/jsl/1174668389

Abstract

The forcing construction ℛmax, 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.

Citation

Download Citation

Paul B. Larson. "The nonstationary ideal in the ℛmax extension." J. Symbolic Logic 72 (1) 138 - 158, March 2007. https://doi.org/10.2178/jsl/1174668389

Information

Published: March 2007
First available in Project Euclid: 23 March 2007

zbMATH: 1128.03044
MathSciNet: MR2298476
Digital Object Identifier: 10.2178/jsl/1174668389

Rights: Copyright © 2007 Association for Symbolic Logic

JOURNAL ARTICLE
21 PAGES

This article is only available to subscribers.
It is not available for individual sale.
+ SAVE TO MY LIBRARY

SHARE
Vol.72 • No. 1 • March 2007
Back to Top