Counterexamples to the Unique and Cofinal Branches Hypotheses

Journal of Symbolic Logic 71 (3):977 - 988 (2006)
  Copy   BIBTEX

Abstract

We produce counterexamples to the unique and cofinal branches hypotheses, assuming (slightly less than) the existence of a cardinal which is strong past a Woodin cardinal

Links

PhilArchive



    Upload a copy of this work     Papers currently archived: 92,261

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

On cofinal extensions of models of arithmetic.Henryk Kotlarski - 1983 - Journal of Symbolic Logic 48 (2):253-262.
Building iteration trees.Alessandro Andretta - 1991 - Journal of Symbolic Logic 56 (4):1369-1384.
On Cofinal Submodels and Elementary Interstices.Roman Kossak & James H. Schmerl - 2012 - Notre Dame Journal of Formal Logic 53 (3):267-287.
On the consistency of the definable tree property on ℵ.Amir Leshem - 2000 - Journal of Symbolic Logic 65 (3):1204 - 1214.
Hypotheses? Forget about it!Massimo Pigliucci - 2009 - Philosophy Now (Jul/Aug):47.

Analytics

Added to PP
2010-08-24

Downloads
78 (#214,462)

6 months
11 (#244,932)

Historical graph of downloads
How can I increase my downloads?

Author's Profile

Jack Steel
University of Edinburgh

Citations of this work

Suitable extender models I.W. Hugh Woodin - 2010 - Journal of Mathematical Logic 10 (1):101-339.

Add more citations

References found in this work

Inner models in the region of a Woodin limit of Woodin cardinals.Itay Neeman - 2002 - Annals of Pure and Applied Logic 116 (1-3):67-155.
Iteration Trees.D. A. Martin & J. R. Steel - 2002 - Bulletin of Symbolic Logic 8 (4):545-546.
Core models with more Woodin cardinals.J. R. Steel - 2002 - Journal of Symbolic Logic 67 (3):1197-1226.
Large cardinals and iteration trees of height ω.Alessandro Andretta - 1991 - Annals of Pure and Applied Logic 54 (1):1-15.

Add more references