• Title of article

    Supercomplete extenders and type 1 mice: Part I

  • Author/Authors

    Feng، نويسنده , , Q. and Jensen، نويسنده , , R.، نويسنده ,

  • Issue Information
    روزنامه با شماره پیاپی سال 2004
  • Pages
    73
  • From page
    1
  • To page
    73
  • 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.
  • Keywords
    Inner model , Large cardinals , mice , Iteration trees , Premice , Extenders , Supercompleteness
  • Journal title
    Annals of Pure and Applied Logic
  • Serial Year
    2004
  • Journal title
    Annals of Pure and Applied Logic
  • Record number

    1443564

    • Link To Document
    https://search.isc.ac/dl/search/defaultta.aspx?DTC=10&DC=1443564