Descriptive inner model theory
From MaRDI portal
Publication:2837761
DOI10.2178/bsl.1901010zbMath1307.03030arXiv1206.2712OpenAlexW2061475828MaRDI QIDQ2837761
Publication date: 11 July 2013
Published in: The Bulletin of Symbolic Logic (Search for Journal in Brave)
Full work available at URL: https://arxiv.org/abs/1206.2712
Descriptive set theory (03E15) Inner models, including constructibility, ordinal definability, and core models (03E45) Determinacy principles (03E60)
Related Items (12)
Hod up to \(A D_{\mathbb{R}} + \Theta\) is measurable ⋮ On -Strongly Measurable Cardinals ⋮ Hod mice and the Mouse Set Conjecture ⋮ Translation procedures in descriptive inner model theory ⋮ Finer topologies on pointsets in Polish spaces ⋮ WHAT IS A RESTRICTIVE THEORY? ⋮ Determinacy axioms and large cardinals ⋮ The exact consistency strength of the generic absoluteness for the universally Baire sets ⋮ Realizing an \(\mathrm{AD}^+\) model as a derived model of a premouse ⋮ Covering with Chang models over derived models ⋮ 𝖲𝖾𝖺𝗅𝗂𝗇𝗀 from iterability ⋮ SEALING OF THE UNIVERSALLY BAIRE SETS
Cites Work
- Unnamed Item
- Unnamed Item
- On the consistency strength of the proper forcing axiom
- Martin's maximum, saturated ideals, and nonregular ultrafilters. I
- Descriptive set theory
- The axiom of determinacy, forcing axioms, and the nonstationary ideal
- Inner models in the region of a Woodin limit of Woodin cardinals
- The determinacy of long games
- Projectively well-ordered inner models
- Sets constructed from sequences of measures: Revisited
- Coding with ladders a well ordering of the reals
- Stacking mice
- Believing the axioms. I
- Believing the axioms. II
- Sets constructible from sequences of ultrafilters
- The largest countable inductive set is a mouse set
- THE ABC'S of Mice
- Strong ultrapowers and long core models
- PFA implies ADL(ℝ)
- Does Mathematics Need New Axioms?
This page was built for publication: Descriptive inner model theory
