The axiom of determinacy, forcing axioms, and the nonstationary ideal

Publication date: 29 September 1999

Published in: De Gruyter Series in Logic and Its Applications (Search for Journal in Brave)

zbMATH Keywords

consistency inner models covering lemma forcing axioms club proper forcing combinatorial principle axiom of determinacy Woodin cardinal nonstationary ideal Martin's Maximum canonical model in which CH is false

Mathematics Subject Classification ID

Descriptive set theory (03E15) Research exposition (monographs, survey articles) pertaining to mathematical logic and foundations (03-02) Consistency and independence results (03E35) Large cardinals (03E55) Continuum hypothesis and Martin's axiom (03E50) Other combinatorial set theory (03E05) Determinacy principles (03E60) Set theory (03Exx)

Related Items (only showing first 100 items - show all)

-definability at higher cardinals: Thin sets, almost disjoint families and long well-orders ⋮ Maddy On The Multiverse ⋮ THE DIAGONAL STRONG REFLECTION PRINCIPLE AND ITS FRAGMENTS ⋮ NEGATIVE RESULTS ON PRECIPITOUS IDEALS ON ⋮ How many real numbers are there? ⋮ Martin's maximum revisited ⋮ Outer models and genericity ⋮ Woodin's axiom (*), bounded forcing axioms, and precipitous ideals on ω₁ ⋮ A maximal bounded forcing axiom ⋮ Internally club and approachable ⋮ Nonregular ultrafilters on ω₂ ⋮ Logical dreams ⋮ Strong Logics of First and Second Order ⋮ 2009 European Summer Meeting of the Association for Symbolic Logic. Logic Colloquium '09 ⋮ Universally meager sets and principles of generic continuity and selection in Banach spaces ⋮ A quasi-lower bound on the consistency strength of PFA ⋮ Determinacy from strong reflection ⋮ Generic Σ₃¹ absoluteness ⋮ Forcing axioms and the continuum hypothesis ⋮ Martin's maximum and tower forcing ⋮ $\text{PFA}(S)[S$ for the masses] ⋮ Operations, climbability and the proper forcing axiom ⋮ Hod mice and the Mouse Set Conjecture ⋮ Generic absoluteness and Boolean names for elements of a Polish space ⋮ Set theory and the analyst ⋮ Woodin’s axiom (*), or Martin’s Maximum, or both? ⋮ What makes the continuum ℵ₂ ⋮ Subcomplete forcing principles and definable well‐orders ⋮ Σ₁(κ)-DEFINABLE SUBSETS OF H(κ⁺) ⋮ Open colorings, the continuum and the second uncountable cardinal ⋮ ($\kappa ,\theta $)-weak normality ⋮ On the consistency strength of the proper forcing axiom ⋮ Guessing models and generalized Laver diamond ⋮ Generalized Prikry forcing and iteration of generic ultrapowers ⋮ Hierarchies of forcing axioms I ⋮ The stationary set splitting game ⋮ Forcing, Multiverse and Realism ⋮ A brief account of recent developments in inner model theory ⋮ Kurepa trees and Namba forcing ⋮ Proof of a conjecture of Galvin ⋮ The scope of Feferman's semi-intuitionistic set theories and his second conjecture ⋮ The Prospects for Mathematical Logic in the Twenty-First Century ⋮ PFA and guessing models ⋮ $\omega_1$ and $-\omega_1$ may be the only minimal uncountable linear orders ⋮ Starting from the scenario Euclid-Bolyai-Einstein ⋮ Projective well-orderings and bounded forcing axioms ⋮ Collapsing $\omega _2$ with semi-proper forcing ⋮ An unpublished theorem of Solovay on OD partitions of reals into two non-OD parts, revisited ⋮ Martin's maximum and definability in $H(\aleph_2$) ⋮ Thin equivalence relations and inner models ⋮ A new Löwenheim-Skolem theorem ⋮ PFA and ideals on $\omega_{2}$ whose associated forcings are proper ⋮ Gödel and Set Theory ⋮ ON ADOPTING KRIPKE SEMANTICS IN SET THEORY ⋮ Saturation, Suslin trees and meager sets ⋮ More on regular and decomposable ultrafilters in ZFC ⋮ Bounded forcing axioms and the continuum ⋮ WEAK DIAMOND AND OPEN COLORINGS ⋮ Katetov’s problem ⋮ Regular variation without limits ⋮ Gödel's Program Revisited Part I: The Turn to Phenomenology ⋮ Internal Consistency and the Inner Model Hypothesis ⋮ What do we need large cardinals for? ⋮ Coding by club-sequences ⋮ The saturation of club guessing ideals ⋮ Increasing δ₂¹ and Namba-style forcing ⋮ Martin's maximum$^{++}$ implies Woodin's axiom $(*)$ ⋮ LOCAL CLUB CONDENSATION AND L-LIKENESS ⋮ The uniform Martin’s conjecture for many-one degrees ⋮ THE SOLIDITY AND NONSOLIDITY OF INITIAL SEGMENTS OF THE CORE MODEL ⋮ Dense non-reflection for stationary collections of countable sets ⋮ Category forcings, 𝑀𝑀⁺⁺⁺, and generic absoluteness for the theory of strong forcing axioms ⋮ Increasing u₂ by a stationary set preserving forcing ⋮ A strong antidiamond principle compatible with CH ⋮ Bounded Martin's maximum with an asterisk ⋮ The Steinhaus theorem and regular variation: de Bruijn and after ⋮ Combinatorial Dichotomies in Set Theory ⋮ Large cardinals and definable well-orders on the universe ⋮ A uniqueness theorem for iterations ⋮ Infinite forcing and the generic multiverse ⋮ WEAK REFLECTION PRINCIPLE, SATURATION OF THE NONSTATIONARY IDEAL ON ω₁ AND DIAMONDS ⋮ Parametrized $\diamondsuit $ principles ⋮ PFA implies AD^L(ℝ) ⋮ Forcing notions in inner models ⋮ On a convenient property about $[\gamma^{\aleph_0}$] ⋮ Descriptive inner model theory ⋮ Incompatible Ω-Complete Theories ⋮ The diagonal reflection principle ⋮ The nonstationary ideal and the other 𝜎-ideals on 𝜔₁ ⋮ SEPARATING DIAGONAL STATIONARY REFLECTION PRINCIPLES ⋮ SET FORCING AND STRONG CONDENSATION FORH(ω₂) ⋮ The nonstationary ideal in the ℙ_max extension ⋮ Forcing indestructibility of set-theoretic axioms ⋮ Canonical models for $\aleph_1$-combinatorics ⋮ The canonical function game ⋮ Partition subalgebras for maximal almost disjoint families ⋮ How Woodin changed his mind: new thoughts on the continuum hypothesis ⋮ Martin's Maximum and the $\mathbb{P}_{\max}$ Axiom $(*)$ ⋮ Nonreflecting stationary sets in $\mathcal P_{\kappa}\lambda$ ⋮ The Significance of Relativistic Computation for the Philosophy of Mathematics

This page was built for publication: The axiom of determinacy, forcing axioms, and the nonstationary ideal