The AD+ conjecture and the continuum hypothesis

DOI10.1090/proc/16214OpenAlexW4289712524MaRDI QIDQ5878589

Nam Trang

Publication date: 21 February 2023

Full work available at URL: https://doi.org/10.1090/proc/16214

zbMATH Keywords

descriptive set theoryinner model theorydivergent models

Mathematics Subject Classification ID

Descriptive set theory (03E15) Inner models, including constructibility, ordinal definability, and core models (03E45) Determinacy principles (03E60)

Cites Work

• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• PFA and guessing models
• Cabal seminar 77 -- 79. Proceedings, Caltech-UCLA Logic Seminar 1977 -- 79
• Cabal seminar 81-85. Proceedings, Caltech-UCLA logic seminar 1981-1985, Los Angeles, CA (USA)
• Cabal seminar 76-77. Proceedings, Caltech-UCLA logic seminar 1976-77
• Cabal Seminar 79-81. Proceedings, Caltech-UCLA Logic Seminar 1979-81
• KWithout the Measurable
• Hod mice and the Mouse Set Conjecture
• An Outline of Inner Model Theory
• Determinacy in L(ℝ)
• Determinacy from strong reflection
• Ordinal Definability and Recursion Theory The Cabal Seminar Volume III
• Optimal Proofs of Determinacy
• SEALING OF THE UNIVERSALLY BAIRE SETS
• A Comparison Process for Mouse Pairs
• The extender algebra and Σ21-absoluteness
• PFA implies AD^L(ℝ)

This page was built for publication: The AD+ conjecture and the continuum hypothesis