March 2013 Descriptive inner model theory
Grigor Sargsyan
Bull. Symbolic Logic 19(1): 1-55 (March 2013). DOI: 10.2178/bsl.1901010


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 (MSC). 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.


Download Citation

Grigor Sargsyan. "Descriptive inner model theory." Bull. Symbolic Logic 19 (1) 1 - 55, March 2013.


Published: March 2013
First available in Project Euclid: 16 May 2013

zbMATH: 1307.03030
MathSciNet: MR3087400
Digital Object Identifier: 10.2178/bsl.1901010

Primary: 03E15 , 03E45 , 03E60

Keywords: descriptive set theory , hod mouse , inner model theory , Mouse

Rights: Copyright © 2013 Association for Symbolic Logic


This article is only available to subscribers.
It is not available for individual sale.

Vol.19 • No. 1 • March 2013
Back to Top