Descriptive inner model theory

DOI10.2178/bsl.1901010zbMath1307.03030arXiv1206.2712MaRDI QIDQ2837761

Grigor Sargsyan

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

zbMATH Keywords

descriptive set theory; hod mouse; inner model theory; mouse set conjecture

Mathematics Subject Classification ID

03E15: Descriptive set theory

03E45: Inner models, including constructibility, ordinal definability, and core models

03E60: Determinacy principles

Related Items

SEALING OF THE UNIVERSALLY BAIRE SETS, Translation procedures in descriptive inner model theory, 𝖲𝖾𝖺𝗅𝗂𝗇𝗀 from iterability, On -Strongly Measurable Cardinals, Finer topologies on pointsets in Polish spaces, Determinacy axioms and large cardinals, Realizing an \(\mathrm{AD}^+\) model as a derived model of a premouse, Hod up to \(A D_{\mathbb{R}} + \Theta\) is measurable, Covering with Chang models over derived models, Hod mice and the Mouse Set Conjecture

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 AD^L(ℝ)
• Does Mathematics Need New Axioms?