Supercomplete extenders and type 1 mice: Part I

&
Annals of Pure and Applied Logic 128 (1-3):1-73 (2004)
  Copy   BIBTEX

Abstract

We study type 1 premice equipped with supercomplete extenders. In this paper, we show that such premice are normally iterable and all normal iteration trees of type 1 premice has a unique cofinal branch. We give a construction of an KC type model using supercomplete type 1 extenders

Categories

Keywords

Reprint years

DOI

10.1016/j.apal.2003.12.002

Links

PhilArchive



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

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

The short extenders gap three forcing using a morass.Carmi Merimovich - 2011 - Archive for Mathematical Logic 50 (1-2):115-135.
Evidence that the type I adenylyl cyclase may be important for neuroplasticity: Mutant mice deficient in the gene for type I adenylyl cyclase show altered behavior and LTP.Zhengui Xia & Daniel R. Storm - 1995 - Behavioral and Brain Sciences 18 (3):498-500.
The short extenders gap two forcing is of Prikry type.Carmi Merimovich - 2009 - Archive for Mathematical Logic 48 (8):737-747.
Successor levels of the Jensen hierarchy.Gunter Fuchs - 2009 - Mathematical Logic Quarterly 55 (1):4-20.
The Mitchell Order below Rank-To-Rank.Itay Neeman - 2004 - Journal of Symbolic Logic 69 (4):1143 - 1162.
A weak Dodd-Jensen lemma.Itay Neeman & John Steel - 1999 - Journal of Symbolic Logic 64 (3):1285-1294.
The fine structure of real mice.Daniel W. Cunningham - 1998 - Journal of Symbolic Logic 63 (3):937-994.
Where and How Do They Happen ?Elemer Elad Rosinger - unknown
From humanized mice to human disease: guiding extrapolation from model to target.Monika Piotrowska - 2013 - Biology and Philosophy 28 (3):439-455.
Different structures for concepts of individuals, stuffs, and real kinds: One mama, more milk, and many mice.Paul Bloom - 1998 - Behavioral and Brain Sciences 21 (1):66-67.
What is the type-1/type-2 distinction?Nick Chater - 1997 - Behavioral and Brain Sciences 20 (1):68-69.

Analytics

Added to PP
2014-01-16

Downloads
16 (#900,320)

6 months
2 (#1,192,610)

Historical graph of downloads
How can I increase my downloads?

Citations of this work

Hypermachines.Sy-David Friedman & P. D. Welch - 2011 - Journal of Symbolic Logic 76 (2):620 - 636.
Determinacy in strong cardinal models.P. D. Welch - 2011 - Journal of Symbolic Logic 76 (2):719 - 728.

Add more citations

References found in this work

The core model for almost linear iterations.Ralf-Dieter Schindler - 2002 - Annals of Pure and Applied Logic 116 (1-3):205-272.
The Core Model Iterability Problem.J. R. Steei - 2001 - Studia Logica 67 (1):124-127.

Add more references