Forcing over Models of Determinacy

Paul B. Larson ()
Additional contact information
Paul B. Larson: University of Florida, Department of Mathematics

Chapter 24 in Handbook of Set Theory, 2010, pp 2121-2177 from Springer

Abstract: Abstract A theorem of Woodin states that the existence of a proper class of Woodin cardinals implies that the theory of the inner model L(ℝ) cannot be changed by set forcing. The Axiom of Determinacy is part of this fixed theory for L(ℝ). The partial order ℙmax is a forcing construction in L(ℝ) which lifts the absoluteness properties of L(ℝ) to models of the Axiom of Choice. The structure H(ω 2) in the ℙmax extension of L(ℝ) (assuming AD L(ℝ)) satisfies every Π2 sentence φ for H(ω 2) which is forceable from a proper class of Woodin cardinals. Furthermore, the partial order ℙmax can be easily varied to produce other consistency results and canonical models. We attempt to give a complete account of the basic analysis of the ℙmax extension of L(ℝ), relative to published results. We then briefly survey some of the issues surrounding ℙmax, in particular ℙmax variations and forcing over larger models of determinacy. We also briefly introduce Woodin’s Ω-logic, in order to properly state the maximality properties of the ℙmax extension.

Keywords: Winning Strategy; Normal Ideal; Force Extension; Measurable Cardinal; Transitive Model (search for similar items in EconPapers)
Date: 2010
References: Add references at CitEc
Citations:

There are no downloads for this item, see the EconPapers FAQ for hints about obtaining it.

Related works:
This item may be available elsewhere in EconPapers: Search for items with the same title.

Export reference: BibTeX RIS (EndNote, ProCite, RefMan) HTML/Text

Persistent link: https://EconPapers.repec.org/RePEc:spr:sprchp:978-1-4020-5764-9_25

Ordering information: This item can be ordered from
http://www.springer.com/9781402057649

DOI: 10.1007/978-1-4020-5764-9_25

Access Statistics for this chapter

More chapters in Springer Books from Springer
Bibliographic data for series maintained by Sonal Shukla () and Springer Nature Abstracting and Indexing ().