A weak Dodd-Jensen lemma

&
Journal of Symbolic Logic 64 (3):1285-1294 (1999)
  Copy   BIBTEX

Abstract

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

Categories

Keywords

Reprint years

DOI

10.2307/2586630

Links

PhilArchive



    Upload a copy of this work     Papers currently archived: 91,386

External links

Setup an account with your affiliations in order to access resources via your University's proxy server

Through your library

My notes

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.
A non-standard construction of Haar measure and weak könig's lemma.Kazuyuki Tanaka & Takeshi Yamazaki - 2000 - Journal of Symbolic Logic 65 (1):173-186.
Stacking mice.Ronald Jensen, Ernest Schimmerling, Ralf Schindler & John Steel - 2009 - Journal of Symbolic Logic 74 (1):315-335.
Some new intuitionistic equivalents of Zorn’s Lemma.John L. Bell - 2003 - Archive for Mathematical Logic 42 (8):811-814.
Which set existence axioms are needed to prove the cauchy/peano theorem for ordinary differential equations?Stephen G. Simpson - 1984 - Journal of Symbolic Logic 49 (3):783-802.
Clarity about concessive knowledge attributions: reply to Dodd.Trent Dougherty & Patrick Rysiew - 2011 - Synthese 181 (3):395-403.
Comparing DNR and WWKL.Klaus Ambos-Spies, Bjørn Kjos-Hanssen, Steffen Lempp & Theodore A. Slaman - 2004 - Journal of Symbolic Logic 69 (4):1089-1104.
Against musical works as eternal types.Saam Trivedi - 2002 - British Journal of Aesthetics 42 (1):73-82.
The weak König lemma and uniform continuity.Josef Berger - 2008 - Journal of Symbolic Logic 73 (3):933-939.
The fine structure of real mice.Daniel W. Cunningham - 1998 - Journal of Symbolic Logic 63 (3):937-994.

Analytics

Added to PP
2009-01-28

Downloads
61 (#258,521)

6 months
4 (#790,687)

Historical graph of downloads
How can I increase my downloads?

Citations of this work

Characterization of □κin core models.Ernest Schimmerling & Martin Zeman - 2004 - Journal of Mathematical Logic 4 (01):1-72.
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.
Equiconsistencies at subcompact cardinals.Itay Neeman & John Steel - 2016 - Archive for Mathematical Logic 55 (1-2):207-238.
Iterability for (transfinite) stacks.Farmer Schlutzenberg - 2021 - Journal of Mathematical Logic 21 (2):2150008.
Dodd parameters and λ-indexing of extenders.Martin Zeman - 2004 - Journal of Mathematical Logic 4 (01):73-108.

View all 7 citations / Add more citations

References found in this work

Inner models with many Woodin cardinals.J. R. Steel - 1993 - Annals of Pure and Applied Logic 65 (2):185-209.

Add more references