Large cardinals and iteration trees of height ω

Annals of Pure and Applied Logic 54 (1):1-15 (1991)
  Copy   BIBTEX

Abstract

In this paper we continue the line of work initiated in “Building iteration trees”. It is shown that the existence of a certain kind of iteration tree of height ω is equivalent to the existence of a cardinal δ that is Woodin with respect to functions in the next admissible

Links

PhilArchive



    Upload a copy of this work     Papers currently archived: 90,616

External links

Setup an account with your affiliations in order to access resources via your University's proxy server

Through your library

Similar books and articles

A criterion for coarse iterability.Gunter Fuchs, Itay Neeman & Ralf Schindler - 2010 - Archive for Mathematical Logic 49 (4):447-467.
Aronszajn trees and the successors of a singular cardinal.Spencer Unger - 2013 - Archive for Mathematical Logic 52 (5-6):483-496.
The tree property at successors of singular cardinals.Menachem Magidor & Saharon Shelah - 1996 - Archive for Mathematical Logic 35 (5-6):385-404.
Kurepa trees and Namba forcing.Bernhard König & Yasuo Yoshinobu - 2012 - Journal of Symbolic Logic 77 (4):1281-1290.
Building iteration trees.Alessandro Andretta - 1991 - Journal of Symbolic Logic 56 (4):1369-1384.
Decisive creatures and large continuum.Jakob Kellner & Saharon Shelah - 2009 - Journal of Symbolic Logic 74 (1):73-104.
Mad families, splitting families and large continuum.Jörg Brendle & Vera Fischer - 2011 - Journal of Symbolic Logic 76 (1):198 - 208.
The tree property at ℵ ω+1.Dima Sinapova - 2012 - Journal of Symbolic Logic 77 (1):279-290.
Gap forcing: Generalizing the lévy-Solovay theorem.Joel David Hamkins - 1999 - Bulletin of Symbolic Logic 5 (2):264-272.
The tree property at [image].Dima Sinapova - 2012 - Journal of Symbolic Logic 77 (1):279 - 290.

Analytics

Added to PP
2014-01-16

Downloads
14 (#846,545)

6 months
1 (#1,040,386)

Historical graph of downloads
How can I increase my downloads?

Citations of this work

Counterexamples to the Unique and Cofinal Branches Hypotheses.Itay Neeman & John Steel - 2006 - Journal of Symbolic Logic 71 (3):977 - 988.

Add more citations

References found in this work

Building iteration trees.Alessandro Andretta - 1991 - Journal of Symbolic Logic 56 (4):1369-1384.

Add more references