Journal of Symbolic Logic 63 (3):937-994 (1998)
|Abstract||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)|
|Through your library||Configure|
Similar books and articles
Abner Shimony (1980). Critique of the Papers of Fine and Suppes. PSA: Proceedings of the Biennial Meeting of the Philosophy of Science Association 1980:572 - 580.
Clément Vidal (2012). Fine-Tuning, Quantum Mechanics and Cosmological Artificial Selection. Foundations of Science 17 (1):29-38.
Soazig Le Bihan (2009). Fine's Ways to Fail to Secure Local Realism. Studies in the History and Philosophy of Modern Physics 40 (2):142-150.
George Barmpalias (2003). The Approximation Structure of a Computably Approximable Real. Journal of Symbolic Logic 68 (3):885-922.
Peter Vallentyne (2005). Of Mice and Men: Equality and Animals. [REVIEW] Journal of Ethics 9 (3-4):403 - 433.
Kai Hauser (1999). A Minimal Counterexample to Universal Baireness. Journal of Symbolic Logic 64 (4):1601-1627.
Itay Neeman & John Steel (1999). A Weak Dodd-Jensen Lemma. Journal of Symbolic Logic 64 (3):1285-1294.
Saharon Shelah & Lee J. Stanley (1995). A Combinatorial Forcing for Coding the Universe by a Real When There Are No Sharps. Journal of Symbolic Logic 60 (1):1-35.
Paul Bloom (1998). Different Structures for Concepts of Individuals, Stuffs, and Real Kinds: One Mama, More Milk, and Many Mice. Behavioral and Brain Sciences 21 (1):66-67.
Sorry, there are not enough data points to plot this chart.
Added to index2009-01-28
Total downloads1 ( #291,386 of 722,783 )
Recent downloads (6 months)0
How can I increase my downloads?