The Axiom of Determinacy, Forcing Axioms, and the Nonstationary Ideal

Woodin, W. H. (1999). The Axiom of Determinacy, Forcing Axioms, and the Nonstationary Ideal.

Type

Book

Intellectual base

Review or monograph

Year

1999

Link

https://doi.org/10.1515/9783110804737matched

Cited by

1 citation across 1 artifact.

Domain-specific

• AD+
  • AD asserts that every length-omega game on natural numbers with payoff set of reals is determined; AD+ adds definability/coding and ordinal-determinacy strength whose equivalence to AD is not simply assumed.

Verification

This reference passed the adversarial substantiation pipeline: it was checked to exist and to support the claim it is attached to. See how references were verified.

Registry ID ref:d244d0769757 · see in the full table