Descriptive inner model theory

Bulletin of Symbolic Logic 19 (1):1-55 (2013)
  Copy   BIBTEX


The purpose of this paper is to outline some recent progress in descriptive inner model theory, a branch of set theory which studies descriptive set theoretic and inner model theoretic objects using tools from both areas. There are several interlaced problems that lie on the border of these two areas of set theory, but one that has been rather central for almost two decades is the conjecture known as the Mouse Set Conjecture. One particular motivation for resolving MSC is that it provides grounds for solving the inner model problem which dates back to 1960s. There have been some new partial results on MSC and the methods used to prove the new instances suggest a general program for solving the full conjecture. It is then our goal to communicate the ideas of this program to the community at large.



    Upload a copy of this work     Papers currently archived: 80,001

External links

Setup an account with your affiliations in order to access resources via your University's proxy server

Through your library

Similar books and articles

The largest countable inductive set is a mouse set.Mitch Rudominer - 1999 - Journal of Symbolic Logic 64 (2):443-459.
The graph-theoretic approach to descriptive set theory.Benjamin D. Miller - 2012 - Bulletin of Symbolic Logic 18 (4):554-575.
A partial model of NF with E.N. Prati - 1994 - Journal of Symbolic Logic 59 (4):1245 - 1253.
Ω-powers and descriptive set theory.Dominique Lecomte - 2005 - Journal of Symbolic Logic 70 (4):1210-1232.
Measuring and Modelling Truth.Nicholas J. J. Smith - 2012 - American Philosophical Quarterly 49 (4):345-356.
The stable core.Sy-David Friedman - 2012 - Bulletin of Symbolic Logic 18 (2):261-267.
Some applications of coarse inner model theory.Greg Hjorth - 1997 - Journal of Symbolic Logic 62 (2):337-365.
Power-like models of set theory.Ali Enayat - 2001 - Journal of Symbolic Logic 66 (4):1766-1782.
Descriptive set theory of families of small sets.Étienne Matheron & Miroslav Zelený - 2007 - Bulletin of Symbolic Logic 13 (4):482-537.


Added to PP

53 (#233,751)

6 months
1 (#478,361)

Historical graph of downloads
How can I increase my downloads?

Citations of this work

What is a Restrictive Theory?Toby Meadows - forthcoming - Review of Symbolic Logic:1-39.
Axiom I 0 and higher degree theory.Xianghui Shi - 2015 - Journal of Symbolic Logic 80 (3):970-1021.
Hod up to A D R + Θ is measurable.Rachid Atmai & Grigor Sargsyan - 2019 - Annals of Pure and Applied Logic 170 (1):95-108.
Realizing an AD + model as a derived model of a premouse.Yizheng Zhu - 2015 - Annals of Pure and Applied Logic 166 (12):1275-1364.

View all 6 citations / Add more citations

References found in this work

The Higher Infinite.Akihiro Kanamori - 2000 - Studia Logica 65 (3):443-446.
Set Theory.Keith J. Devlin - 1981 - Journal of Symbolic Logic 46 (4):876-877.
Believing the axioms. II.Penelope Maddy - 1988 - Journal of Symbolic Logic 53 (3):736-764.
Sets constructible from sequences of ultrafilters.William J. Mitchell - 1974 - Journal of Symbolic Logic 39 (1):57-66.
The fine structure of the constructible hierarchy.R. Björn Jensen - 1972 - Annals of Mathematical Logic 4 (3):229.

View all 16 references / Add more references