Descriptive inner model theory

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

Abstract

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.

Other Versions

No versions found

Links

PhilArchive



    Upload a copy of this work     Papers currently archived: 107,826

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

Supercompactness Can Be Equiconsistent with Measurability.Nam Trang - 2021 - Notre Dame Journal of Formal Logic 62 (4):593-618.
Mouse sets.Mitch Rudominer - 1997 - Annals of Pure and Applied Logic 87 (1):1-100.
An Inner Model Proof of the Strong Partition Property for $delta^{2}_{1}$.Grigor Sargsyan - 2014 - Notre Dame Journal of Formal Logic 55 (4):563-568.
The mouse set theorem just past projective.Mitch Rudominer - 2024 - Journal of Mathematical Logic 25 (2).
The largest countable inductive set is a mouse set.Mitch Rudominer - 1999 - Journal of Symbolic Logic 64 (2):443-459.
The mouse set theorem just past projective.Mitch Rudominer - 2025 - Journal of Mathematical Logic 25 (2).
Divergent Models with the Failure of the Continuum Hypothesis.Nam Trang - forthcoming - Journal of Symbolic Logic:1-11.
Suitable extender models I.W. Hugh Woodin - 2010 - Journal of Mathematical Logic 10 (1):101-339.

Analytics

Added to PP
2013-05-17

Downloads
101 (#231,311)

6 months
9 (#612,671)

Historical graph of downloads
How can I increase my downloads?

Citations of this work

What is a Restrictive Theory?Toby Meadows - 2024 - Review of Symbolic Logic 17 (1):67-105.
Are Large Cardinal Axioms Restrictive?Neil Barton - 2023 - Philosophia Mathematica 31 (3):372-407.
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.

View all 8 citations / Add more citations

References found in this work

The Higher Infinite.Akihiro Kanamori - 2000 - Studia Logica 65 (3):443-446.
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.
Projectively well-ordered inner models.J. R. Steel - 1995 - Annals of Pure and Applied Logic 74 (1):77-104.

View all 16 references / Add more references