David Bourget (Western Ontario)
David Chalmers (ANU, NYU)
Rafael De Clercq
Jack Alan Reynolds
Learn more about PhilPapers
Journal of Symbolic Logic 74 (1):315-335 (2009)
We show that either of the following hypotheses imply that there is an inner model with a proper class of strong cardinals and a proper class of Woodin cardinals. 1) There is a countably closed cardinal k ≥ N₃ such that □k and □(k) fail. 2) There is a cardinal k such that k is weakly compact in the generic extension by Col(k, k⁺). Of special interest is 1) with k = N₃ since it follows from PFA by theorems of Todorcevic and Velickovic. Our main new technical result, which is due to the first author, is a weak covering theorem for the model obtained by stacking mice over $K^c ||k.$
|Keywords||No keywords specified (fix it)|
|Categories||categorize this paper)|
|Through your library||Configure|
References found in this work BETA
No references found.
Citations of this work BETA
Gunter Fuchs (2010). Generic Embeddings Associated to an Indestructibly Weakly Compact Cardinal. Annals of Pure and Applied Logic 162 (1):89-105.
Christoph Weiß (2012). The Combinatorial Essence of Supercompactness. Annals of Pure and Applied Logic 163 (11):1710-1717.
Similar books and articles
Itay Neeman & John Steel (1999). A Weak Dodd-Jensen Lemma. Journal of Symbolic Logic 64 (3):1285-1294.
Daniel W. Cunningham (1998). The Fine Structure of Real Mice. Journal of Symbolic Logic 63 (3):937-994.
Ernest Schimmerling (2001). The Abc's of Mice. Bulletin of Symbolic Logic 7 (4):485-503.
Peter Vallentyne (2005). Of Mice and Men: Equality and Animals. [REVIEW] Journal of Ethics 9 (3-4):403 - 433.
Monika Piotrowska (2013). From Humanized Mice to Human Disease: Guiding Extrapolation From Model to Target. Biology and Philosophy 28 (3):439-455.
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.
Jean-Louis Gariépy & Ramona M. Rodriguiz (2002). Issues of Establishment, Consolidation, and Reorganization in Biobehavioral Adaptation. Brain and Mind 3 (1):53-77.
F. Barbara Orlans (2000). The Injustice of Excluding Laboratory Rats, Mice, and Birds From the Animal Welfare Act. Kennedy Institute of Ethics Journal 10 (3):229-238.
Ralf Schindler & John Steel (2009). The Self-Iterability of L[E]. Journal of Symbolic Logic 74 (3):751-779.
Roger Caldwell (2003). Of Men and Mice. Philosophy Now 42:34-34.
Richard E. Hart (2005). Moral Experience in Of Mice and Men. In Stephen K. George (ed.), The Moral Philosophy of John Steinbeck. Scarecrow Press.
Randolph M. Feezell (1984). Of Mice and Men. The Modern Schoolman 61 (4):259-265.
Ralf-Dieter Schindler, John Steel & Martin Zeman (2002). Deconstructing Inner Model Theory. Journal of Symbolic Logic 67 (2):721-736.
Ross Cogan (1998). Dudman and the Plans of Mice and Men. Philosophical Quarterly 48 (190):88-95.
Added to index2010-09-12
Total downloads2 ( #258,148 of 1,088,388 )
Recent downloads (6 months)0
How can I increase my downloads?