Iterability for (transfinite) stacks

Journal of Mathematical Logic 21 (2):2150008 (2021)
  Copy   BIBTEX

Abstract

We establish natural criteria under which normally iterable premice are iterable for stacks of normal trees. Let Ω be a regular uncountable cardinal. Let m < ω and M be an m-sound premouse and Σ be...

Categories

Keywords

Reprint years

DOI

10.1142/s0219061321500082

Links

PhilArchive



    Upload a copy of this work     Papers currently archived: 93,642

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

A criterion for coarse iterability.Gunter Fuchs, Itay Neeman & Ralf Schindler - 2010 - Archive for Mathematical Logic 49 (4):447-467.
A Long Pseudo-Comparison of Premice in L[x].Farmer Schlutzenberg - 2018 - Notre Dame Journal of Formal Logic 59 (4):599-604.
On chains of relatively saturated submodels of a model without the order property.Rami Grossberg - 1991 - Journal of Symbolic Logic 56 (1):124-128.
Additivity of the two-dimensional Miller ideal.Otmar Spinas & Sonja Thiele - 2010 - Archive for Mathematical Logic 49 (6):617-658.
Indiscernible sequences in a model which fails to have the order property.Rami Grossberg - 1991 - Journal of Symbolic Logic 56 (1):115-123.
Supercomplete extenders and type 1 mice: Part I.Q. Feng & R. Jensen - 2004 - Annals of Pure and Applied Logic 128 (1-3):1-73.
Σ‐algebraically compact modules and ‐compact cardinals.Jan Šaroch - 2015 - Mathematical Logic Quarterly 61 (3):196-201.
The self-iterability of L[E].Ralf Schindler & John Steel - 2009 - Journal of Symbolic Logic 74 (3):751-779.
Omega‐ and Beta‐Models of Alternative Set Theory.Athanassios Tzouvaras - 1994 - Mathematical Logic Quarterly 40 (4):547-569.
A downward Löwenheim-Skolem theorem for infinitary theories which have the unsuperstability property.Rami Grossberg - 1988 - Journal of Symbolic Logic 53 (1):231-242.

Analytics

Added to PP
2020-09-01

Downloads
28 (#138,667)

6 months
19 (#786,843)

Historical graph of downloads
How can I increase my downloads?

Citations of this work

The comparison lemma.John R. Steel - forthcoming - Annals of Pure and Applied Logic.
The Definability of the Extender Sequence From In.Farmer Schlutzenberg - 2024 - Journal of Symbolic Logic 89 (2):427-459.

Add more citations

References found in this work

The self-iterability of L[E].Ralf Schindler & John Steel - 2009 - Journal of Symbolic Logic 74 (3):751-779.
Core models with more Woodin cardinals.J. R. Steel - 2002 - Journal of Symbolic Logic 67 (3):1197-1226.
A weak Dodd-Jensen lemma.Itay Neeman & John Steel - 1999 - Journal of Symbolic Logic 64 (3):1285-1294.
Fine structure for Tame inner models.E. Schimmerling & J. R. Steel - 1996 - Journal of Symbolic Logic 61 (2):621-639.

Add more references