The axiom of determinacy forcing axioms and the nonstationary ideal 2nd Edition by Woodin W.H. – Ebook PDF Instant Download/Delivery: 3110197022, 9783110197020
Full download The axiom of determinacy forcing axioms and the nonstationary ideal 2nd Edition after payment

Product details:
ISBN 10: 3110197022
ISBN 13: 9783110197020
Author: Woodin W.H.
The starting point for this monograph is the previously unknown connection between the Continuum Hypothesis and the saturation of the non-stationary ideal on ω1; and the principle result of this monograph is the identification of a canonical model in which the Continuum Hypothesis is false. This is the first example of such a model and moreover the model can be characterized in terms of maximality principles concerning the universal-existential theory of all sets of countable ordinals. This model is arguably the long sought goal of the study of forcing axioms and iterated forcing but is obtained by completely different methods, for example no theory of iterated forcing whatsoever is required. The construction of the model reveals a powerful technique for obtaining independence results regarding the combinatorics of the continuum, yielding a number of results which have yet to be obtained by any other method.
This monograph is directed to researchers and advanced graduate students in Set Theory. The second edition is updated to take into account some of the developments in the decade since the first edition appeared, this includes a revised discussion of Ω-logic and related matters.
Table of contents:
Chapter 1: Introduction
Chapter 2: Preliminaries
Chapter 3: The Nonstationary Ideal
Chapter 4: The ℙmax-Extension
Chapter 5: Applications
Chapter 6: ℙmax Variations
Chapter 7: Conditional Variations
Chapter 8: ♣ Principles for ω1
Chapter 9: Extensions of L(Γ, ℝ)
Chapter 10: Further Results
Chapter 11: Questions
People also search for:
the axiom of determinacy forcing axioms
the axiom of determinacy forcing axioms and the nonstationary ideal
can axioms be proven
what are axioms examples
how do we know axioms are true
Tags: Woodin W H, Axiom of Determinacy, Forcing Axioms, Nonstationary Ideal


