Descriptive inner model theory

DOI10.2178/BSL.1901010MaRDI QIDQ2837761zbMATH OpenOpenAlexFDO

Authors 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, https://projecteuclid.org/euclid.bsl/1368716862

zbMATH Keywords

descriptive set theoryhod mouseinner model theorymouse set conjecture

Mathematics Subject Classification ID

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

Abstract: A paper for general audience about descriptive inner model theory.

Recommendations

• Mouse sets
• Mini-workshop: Fine structure and inner model theory. Abstracts from the mini-workshop held November 8th -- November 14th, 2009
• Report 20/2006: Mini-workshop: Feinstrukturtheorie und innere Modelle (April 30th -- May 6th, 2006)
• The mouse set conjecture for sets of reals
• Suitable extender models. I

Cites work

• Believing the axioms. I
• Believing the axioms. II
• Coding with ladders a well ordering of the reals
• Descriptive set theory
• Does mathematics need new axioms?
• scientific article; zbMATH DE number 194101 (Why is no real title available?)
• scientific article; zbMATH DE number 567513 (Why is no real title available?)
• Inner models in the region of a Woodin limit of Woodin cardinals
• Martin's maximum, saturated ideals, and nonregular ultrafilters. I
• On the consistency strength of the proper forcing axiom
• PFA implies AD^L(ℝ)
• Projectively well-ordered inner models
• Sets constructed from sequences of measures: Revisited
• Sets constructible from sequences of ultrafilters
• Stacking mice
• Strong ultrapowers and long core models
• THE ABC'S of Mice
• The axiom of determinacy, forcing axioms, and the nonstationary ideal
• The determinacy of long games
• The largest countable inductive set is a mouse set

Cited in

(21)

• Mouse sets
• Hod up to \(A D_{\mathbb{R}} + \Theta\) is measurable
• Inner model operators in \(L(\mathbb{R})\)
• Covering with Chang models over derived models
• Hod mice and the mouse set conjecture
• scientific article; zbMATH DE number 4047708 (Why is no real title available?)
• The largest countable inductive set is a mouse set
• THE ABC'S of Mice
• Foundational implications of the inner model hypothesis
• Covering with universally Baire operators
• Realizing an \(\mathrm{AD}^+\) model as a derived model of a premouse
• SEALING OF THE UNIVERSALLY BAIRE SETS
• Translation procedures in descriptive inner model theory
• The mouse set conjecture for sets of reals
• 𝖲𝖾𝖺𝗅𝗂𝗇𝗀 from iterability
• On -Strongly Measurable Cardinals
• 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
• The consistency strength of determinacy when all sets are universally Baire

This page was built for publication: Descriptive inner model theory

Report a bug (only for logged in users!)Click here to report a bug for this page (MaRDI item Q2837761)