David Bourget (Western Ontario)
David Chalmers (ANU, NYU)
Rafael De Clercq
Ezio Di Nucci
Jack Alan Reynolds
Learn more about PhilPapers
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)|
Setup an account with your affiliations in order to access resources via your University's proxy server
Configure custom proxy (use this if your affiliation does not provide a proxy)
|Through your library|
References found in this work BETA
No references found.
Citations of this work BETA
No citations found.
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.
Added to index2009-01-28
Total downloads2 ( #653,184 of 1,789,721 )
Recent downloads (6 months)1 ( #418,435 of 1,789,721 )
How can I increase my downloads?