10 found
Order:
  1.  22
    Inner models with many Woodin cardinals.J. R. Steel - 1993 - Annals of Pure and Applied Logic 65 (2):185-209.
    We extend the theory of “Fine structure and iteration trees” to models having more than one Woodin cardinal.
    Direct download (4 more)  
     
    Export citation  
     
    Bookmark   35 citations  
  2.  31
    Projectively well-ordered inner models.J. R. Steel - 1995 - Annals of Pure and Applied Logic 74 (1):77-104.
  3.  34
    (1 other version)The covering lemma up to a Woodin cardinal.W. J. Mitchell, E. Schimmerling & J. R. Steel - 1997 - Annals of Pure and Applied Logic 84 (2):219-255.
  4.  18
    Iteration Trees.D. A. Martin & J. R. Steel - 2002 - Bulletin of Symbolic Logic 8 (4):545-546.
  5.  38
    Core models with more Woodin cardinals.J. R. Steel - 2002 - Journal of Symbolic Logic 67 (3):1197-1226.
  6.  28
    The well-foundedness of the Mitchell order.J. R. Steel - 1993 - Journal of Symbolic Logic 58 (3):931-940.
  7.  30
    Fine structure for Tame inner models.E. Schimmerling & J. R. Steel - 1996 - Journal of Symbolic Logic 61 (2):621-639.
  8.  22
    Scales in K(R) at the End of a Weak Gap.J. R. Steel - 2008 - Journal of Symbolic Logic 73 (2):369 - 390.
  9.  26
    Local Kc Constructions.J. R. Steel - 2007 - Journal of Symbolic Logic 72 (3):721 - 737.
  10.  16
    Comparison of fine structural mice via coarse iteration.F. Schlutzenberg & J. R. Steel - 2014 - Archive for Mathematical Logic 53 (5-6):539-559.
    Let M\documentclass[12pt]{minimal} \usepackage{amsmath} \usepackage{wasysym} \usepackage{amsfonts} \usepackage{amssymb} \usepackage{amsbsy} \usepackage{mathrsfs} \usepackage{upgreek} \setlength{\oddsidemargin}{-69pt} \begin{document}$${\mathcal{M}}$$\end{document} be a fine structural mouse. Let D\documentclass[12pt]{minimal} \usepackage{amsmath} \usepackage{wasysym} \usepackage{amsfonts} \usepackage{amssymb} \usepackage{amsbsy} \usepackage{mathrsfs} \usepackage{upgreek} \setlength{\oddsidemargin}{-69pt} \begin{document}$${\mathbb{D}}$$\end{document} be a fully backgrounded L[E]\documentclass[12pt]{minimal} \usepackage{amsmath} \usepackage{wasysym} \usepackage{amsfonts} \usepackage{amssymb} \usepackage{amsbsy} \usepackage{mathrsfs} \usepackage{upgreek} \setlength{\oddsidemargin}{-69pt} \begin{document}$${L[\mathbb{E}]}$$\end{document}-construction computed inside an iterable coarse premouse S. We describe a process comparing M\documentclass[12pt]{minimal} \usepackage{amsmath} \usepackage{wasysym} \usepackage{amsfonts} \usepackage{amssymb} \usepackage{amsbsy} \usepackage{mathrsfs} \usepackage{upgreek} \setlength{\oddsidemargin}{-69pt} \begin{document}$${\mathcal{M}}$$\end{document} with D\documentclass[12pt]{minimal} \usepackage{amsmath} \usepackage{wasysym} \usepackage{amsfonts} \usepackage{amssymb} \usepackage{amsbsy} \usepackage{mathrsfs} \usepackage{upgreek} \setlength{\oddsidemargin}{-69pt} \begin{document}$${\mathbb{D}}$$\end{document}, through forming iteration trees on M\documentclass[12pt]{minimal} \usepackage{amsmath} (...)
    No categories
    Direct download (5 more)  
     
    Export citation  
     
    Bookmark