A weak Dodd-Jensen lemma

Journal of Symbolic Logic 64 (3):1285-1294 (1999)
We show that every sufficiently iterable countable mouse has a unique iteration strategy whose associated iteration maps are lexicographically minimal. This enables us to extend the results of [3] on the good behavior of the standard parameter from tame mice to arbitrary mice
Keywords No keywords specified (fix it)
Categories (categorize this paper)
DOI 10.2307/2586630
 Save to my reading list
Follow the author(s)
Edit this record
My bibliography
Export citation
Find it on Scholar
Mark as duplicate
Request removal from index
Revision history
Download options
Our Archive

Upload a copy of this paper     Check publisher's policy     Papers currently archived: 30,349
Through your library
References found in this work BETA
Inner Models with Many Woodin Cardinals.J. R. Steel - 1993 - Annals of Pure and Applied Logic 65 (2):185-209.

Add more references

Citations of this work BETA
Inner Models in the Region of a Woodin Limit of Woodin Cardinals.Itay Neeman - 2002 - Annals of Pure and Applied Logic 116 (1-3):67-155.
Cardinal Transfer Properties in Extender Models.Ernest Schimmerling & Martin Zeman - 2008 - Annals of Pure and Applied Logic 154 (3):163-190.

Add more citations

Similar books and articles
Jónsson Cardinals, Erdös Cardinals, and the Core Model.W. J. Mitchell - 1999 - Journal of Symbolic Logic 64 (3):1065-1086.
The Weak König Lemma and Uniform Continuity.Josef Berger - 2008 - Journal of Symbolic Logic 73 (3):933-939.
Against Musical Works as Eternal Types.Saam Trivedi - 2002 - British Journal of Aesthetics 42 (1):73-82.
Comparing DNR and WWKL.Klaus Ambos-Spies, Bjørn Kjos-Hanssen, Steffen Lempp & Theodore Slaman - 2004 - Journal of Symbolic Logic 69 (4):1089-1104.
Some New Intuitionistic Equivalents of Zorn's Lemma.John Bell - 2003 - Archive for Mathematical Logic 42 (8):811-814.
Stacking Mice.Ronald Jensen, Ernest Schimmerling, Ralf Schindler & John Steel - 2009 - Journal of Symbolic Logic 74 (1):315-335.
The Fine Structure of Real Mice.Daniel W. Cunningham - 1998 - Journal of Symbolic Logic 63 (3):937-994.
Added to PP index

Total downloads
5 ( #611,083 of 2,193,590 )

Recent downloads (6 months)
1 ( #290,647 of 2,193,590 )

How can I increase my downloads?

Monthly downloads
My notes
Sign in to use this feature