Scales of minimal complexity in \documentclass[12pt]{minimal} \usepackage{amsmath} \usepackage{wasysym} \usepackage{amsfonts} \usepackage{amssymb} \usepackage{amsbsy} \usepackage{mathrsfs} \usepackage{upgreek} \setlength{\oddsidemargin}{-69pt} \begin{document}$${K(\mathbb{R})}$$\end{document} [Book Review]

Archive for Mathematical Logic 51 (3-4):319-351 (2012)
  Copy   BIBTEX

Abstract

Using a Levy hierarchy and a fine structure theory for \documentclass[12pt]{minimal} \usepackage{amsmath} \usepackage{wasysym} \usepackage{amsfonts} \usepackage{amssymb} \usepackage{amsbsy} \usepackage{mathrsfs} \usepackage{upgreek} \setlength{\oddsidemargin}{-69pt} \begin{document}$${K(\mathbb{R})}$$\end{document}, we obtain scales of minimal complexity in this inner model. Each such scale is obtained assuming the determinacy of only those sets of reals whose complexity is strictly below that of the scale constructed.

Links

PhilArchive



    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

Analytics

Added to PP
2013-10-27

Downloads
19 (#781,160)

6 months
3 (#1,002,413)

Historical graph of downloads
How can I increase my downloads?

Citations of this work

Strong partition cardinals and determinacy in $${K}$$ K.Daniel W. Cunningham - 2015 - Archive for Mathematical Logic 54 (1-2):173-192.

Add more citations

References found in this work

The Higher Infinite.Akihiro Kanamori - 2000 - Studia Logica 65 (3):443-446.
The core model.A. Dodd & R. Jensen - 1981 - Annals of Mathematical Logic 20 (1):43-75.
The fine structure of the constructible hierarchy.R. Björn Jensen - 1972 - Annals of Mathematical Logic 4 (3):229.
The real core model and its scales.Daniel W. Cunningham - 1995 - Annals of Pure and Applied Logic 72 (3):213-289.
The Core Model.A. Dodd, R. Jensen, Tony Dodd, Ronald Jensen, A. J. Dodd & R. B. Jensen - 1984 - Journal of Symbolic Logic 49 (2):660-662.

View all 8 references / Add more references