Two applications of inner model theory to the study of $\underset \sim \to{\sigma}{}_{2}^{1}$ sets

Bulletin of Symbolic Logic 2 (1):94 - 107 (1996)
  Copy   BIBTEX


§0. Preface. There has been an expectation that the endgame of the more tenacious problems raised by the Los Angeles ‘cabal’ school of descriptive set theory in the 1970's should ultimately be played out with the use of inner model theory. Questions phrased in the language of descriptive set theory, where both the conclusions and the assumptions are couched in terms that only mention simply definable sets of reals, and which have proved resistant to purely descriptive set theoretic arguments, may at last find their solution through the connection between determinacy and large cardinals.Perhaps the most striking example was given by [24], where the core model theory was used to analyze the structure of HOD and then show that all regular cardinals below ΘL are measurable. John Steel's analysis also settled a number of structural questions regarding HODL, such as GCH.Another illustration is provided by [21]. There an application of large cardinals and inner model theory is used to generalize the Harrington-Martin theorem that determinacy implies )determinacy.However, it is harder to find examples of theorems regarding the structure of the projective sets whose only known proof from determinacy assumptions uses the link between determinacy and large cardinals. We may equivalently ask whether there are second order statements of number theory that cannot be proved under PD–the axiom of projective determinacy–without appealing to the large cardinal consequences of the PD, such as the existence of certain kinds of inner models that contain given types of large cardinals.



    Upload a copy of this work     Papers currently archived: 91,386

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

▵13-sets of reals.Haim Judah & Saharon Shelah - 1993 - Journal of Symbolic Logic 58 (1):72 - 80.
Variations of the Martin-Solovay tree.Greg Hjorth - 1996 - Journal of Symbolic Logic 61 (1):40-51.
Σ12-sets of reals.Jaime I. Ihoda - 1988 - Journal of Symbolic Logic 53 (2):636 - 642.
On Almost Orthogonality in Simple Theories.Itay Ben-Yaacov & Frank O. Wagner - 2004 - Journal of Symbolic Logic 69 (2):398 - 408.
Constructible sets with applications.Andrzej Mostowski - 1969 - Warszawa,: PWN--Polish Scientific Publishers.
Some applications of coarse inner model theory.Greg Hjorth - 1997 - Journal of Symbolic Logic 62 (2):337-365.


Added to PP

207 (#93,616)

6 months
9 (#290,637)

Historical graph of downloads
How can I increase my downloads?

Citations of this work

Some applications of coarse inner model theory.Greg Hjorth - 1997 - Journal of Symbolic Logic 62 (2):337-365.
A boundedness lemma for iterations.Greg Hjorth - 2001 - Journal of Symbolic Logic 66 (3):1058-1072.

Add more citations

References found in this work

The Higher Infinite.Akihiro Kanamori - 2000 - Studia Logica 65 (3):443-446.
Set Theory.Thomas Jech - 1999 - Studia Logica 63 (2):300-300.
Descriptive Set Theory.Yiannis Nicholas Moschovakis - 1982 - Studia Logica 41 (4):429-430.
Partition properties and well-ordered sequences.Steve Jackson - 1990 - Annals of Pure and Applied Logic 48 (1):81-101.
Analytic determinacy and 0#. [REVIEW]Leo Harrington - 1978 - Journal of Symbolic Logic 43 (4):685 - 693.

Add more references