Journal of Symbolic Logic 63 (3):937-994 (1998)

Before one can construct scales of minimal complexity in the Real Core Model, K(R), one needs to develop the fine-structure theory of K(R). In this paper, the fine structure theory of mice, first introduced by Dodd and Jensen, is generalized to that of real mice. A relative criterion for mouse iterability is presented together with two theorems concerning the definability of this criterion. The proof of the first theorem requires only fine structure; whereas, the second theorem applies to real mice satisfying AD and follows from a general definability result obtained by abstracting work of John Steel on L(R). In conclusion, we discuss several consequences of the work presented in this paper relevant to two issues: the complexity of scales in K(R) and the strength of the theory ZF + AD + ¬ DC R
Keywords No keywords specified (fix it)
Categories (categorize this paper)
DOI 10.2307/2586721
Edit this record
Mark as duplicate
Export citation
Find it on Scholar
Request removal from index
Revision history

Download options

PhilArchive copy

Upload a copy of this paper     Check publisher's policy     Papers currently archived: 60,795
Through your library

References found in this work BETA

Set Theory.Keith J. Devlin - 1981 - Journal of Symbolic Logic 46 (4):876-877.
The Core Model.A. Dodd & R. Jensen - 1981 - Annals of Mathematical Logic 20 (1):43-75.
The Real Core Model and its Scales.Daniel W. Cunningham - 1995 - Annals of Pure and Applied Logic 72 (3):213-289.
Is There a Set of Reals Not in K?Daniel W. Cunningham - 1998 - Annals of Pure and Applied Logic 92 (2):161-210.
Descriptive Set Theory.Yiannis Nicholas Moschovakis - 1982 - Studia Logica 41 (4):429-430.

Add more references

Citations of this work BETA

Is There a Set of Reals Not in K?Daniel W. Cunningham - 1998 - Annals of Pure and Applied Logic 92 (2):161-210.
Scales of Minimal Complexity in {K (\ Mathbb {R})}.Daniel W. Cunningham - 2012 - Archive for Mathematical Logic 51 (3-4):319-351.
Strong Partition Cardinals and Determinacy in $${K}$$ K.Daniel W. Cunningham - 2015 - Archive for Mathematical Logic 54 (1-2):173-192.

Add more citations

Similar books and articles

Critique of the Papers of Fine and Suppes.Abner Shimony - 1980 - PSA: Proceedings of the Biennial Meeting of the Philosophy of Science Association 1980:572 - 580.
A Weak Dodd-Jensen Lemma.Itay Neeman & John Steel - 1999 - Journal of Symbolic Logic 64 (3):1285-1294.
A Minimal Counterexample to Universal Baireness.Kai Hauser - 1999 - Journal of Symbolic Logic 64 (4):1601-1627.
Fine's Ways to Fail to Secure Local Realism.Soazig Le Bihan - 2009 - Studies in the History and Philosophy of Modern Physics 40 (2):142-150.


Added to PP index

Total views
10 ( #859,293 of 60,784 )

Recent downloads (6 months)
1 ( #436,491 of 60,784 )

How can I increase my downloads?


My notes