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: 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

On the set-theoretic strength of the existence of disjoint cofinal sets in posets without maximal elements.Paul Howard, Denis I. Saveliev & Eleftherios Tachtsis - 2016 - Mathematical Logic Quarterly 62 (3):155-176.
On Martin's Axiom and Forms of Choice.Eleftherios Tachtsis - 2016 - Mathematical Logic Quarterly 62 (3):190-203.
Generic derivations on o-minimal structures.Antongiulio Fornasiero & Elliot Kaplan - 2020 - Journal of Mathematical Logic 21 (2):2150007.
Guessing models and the approachability ideal.Rahman Mohammadpour & Boban Veličković - 2020 - Journal of Mathematical Logic 21 (2):2150003.
Generic expansions by a reduct.Christian D’Elbée - 2021 - Journal of Mathematical Logic 21 (3):2150016.
Maximal almost disjoint families, determinacy, and forcing.Karen Bakke Haga, David Schrittesser & Asger Törnquist - 2021 - Journal of Mathematical Logic 22 (1).
Interpolative fusions.Alex Kruckman, Chieu-Minh Tran & Erik Walsberg - 2020 - Journal of Mathematical Logic 21 (2):2150010.
An unpublished theorem of Solovay on OD partitions of reals into two non-OD parts, revisited.Ali Enayat & Vladimir Kanovei - 2020 - Journal of Mathematical Logic 21 (3):2150014.
Local Ramsey theory: an abstract approach.Carlos Di Prisco, José G. Mijares & Jesús Nieto - 2017 - Mathematical Logic Quarterly 63 (5):384-396.
The length of an intersection.Christian Delhommé & Maurice Pouzet - 2017 - Mathematical Logic Quarterly 63 (3-4):243-255.
True Grit in Learning Math: The Math Anxiety-Achievement Link Is Mediated by Math-Specific Grit.Youqing Yu, Liyun Hua, Xingwang Feng, Yueru Wang, Zongren Yu, Tong Zi, Yajun Zhao & Jingguang Li - 2021 - Frontiers in Psychology 12.
Sigma-Prikry forcing II: Iteration Scheme.Alejandro Poveda, Assaf Rinot & Dima Sinapova - 2022 - Journal of Mathematical Logic 22 (3).
Fermat's last theorem and Catalan's conjecture in weak exponential arithmetics.Petr Glivický & Vítězslav Kala - 2017 - Mathematical Logic Quarterly 63 (3-4):162-174.
The HOD Hypothesis and a supercompact cardinal.Yong Cheng - 2017 - Mathematical Logic Quarterly 63 (5):462-472.
Read this!Marion Cohen - unknown

Analytics

Added to PP
2020-09-01

Downloads
17 (#846,424)

6 months
4 (#790,687)

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.

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