The tree property at א ω+2

&
Journal of Symbolic Logic 76 (2):477 - 490 (2011)
  Copy   BIBTEX

Abstract

Assuming the existence of a weakly compact hypermeasurable cardinal we prove that in some forcing extension א ω is a strong limit cardinal and א ω+2 has the tree property. This improves a result of Matthew Foreman (see [2])

Categories

Keywords

Reprint years

DOI

10.2178/jsl/1305810760

Other Versions

No versions found

Links

PhilArchive

    This entry is not archived by us. If you are the author and have permission from the publisher, we recommend that you archive it. Many publishers automatically grant permission to authors to archive pre-prints. By uploading a copy of your work, you will enable us to better index it, making it easier to find.

    Upload a copy of this work     Papers currently archived: 103,945

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 consistency of the definable tree property on ℵ.Amir Leshem - 2000 - Journal of Symbolic Logic 65 (3):1204 - 1214.
MRP , tree properties and square principles.Remi Strullu - 2011 - Journal of Symbolic Logic 76 (4):1441-1452.
Aronszajn trees on ℵ2 and ℵ3.Uri Abraham - 1983 - Annals of Mathematical Logic 24 (3):213-230.
The tree property and the failure of the Singular Cardinal Hypothesis at ℵω2.Dima Sinapova - 2012 - Journal of Symbolic Logic 77 (3):934-946.
Reflecting stationary sets.Menachem Magidor - 1982 - Journal of Symbolic Logic 47 (4):755-771.
Reviewed Work: Recent papers on the tree property. Aronszajn trees and failure of the Singular Cardinal Hypothesis. Journal of Mathematical Logic, vol. 9, no. 1 , The tree property at ℵ ω+1. Journal of Symbolic Logic, vol. 77, no. 1 , The tree property and the failure of SCH at uncountable confinality. Archive for Mathematical Logic, vol. 51, no. 5-6 , The tree property and the failure of the Singular Cardinal Hypothesis at [image]. Journal of Symbolic Logic, vol. 77, no. 3 , Aronszajn trees and the successors of a singular cardinal. Archive for Mathematical Logic, vol. 52, no. 5-6 , The tree property up to ℵ ω+1. Journal of Symbolic Logic. vol. 79, no. 2 by Itay Neeman; Dima Sinapova; Spencer Unger. [REVIEW]Review by: James Cummings - 2015 - Bulletin of Symbolic Logic 21 (2):188-192.
The consistency strength of successive cardinals with the tree property.Matthew Foreman, Menachem Magidor & Ralf-Dieter Schindler - 2001 - Journal of Symbolic Logic 66 (4):1837-1847.
The tree property at ℵ ω+1.Dima Sinapova - 2012 - Journal of Symbolic Logic 77 (1):279-290.
A model in which the base-matrix tree cannot have cofinal branches.Peter Lars Dordal - 1987 - Journal of Symbolic Logic 52 (3):651-664.
The Monadic Theory of ω 1 2.Yuri Gurevich, Menachem Magidor & Saharon Shelah - 1983 - Journal of Symbolic Logic 48 (2):387-398.

Analytics

Added to PP
2013-09-30

Downloads
33 (#748,931)

6 months
1 (#1,596,857)

Historical graph of downloads
How can I increase my downloads?

Author's Profile

Citations of this work

Fusion and large cardinal preservation.Sy-David Friedman, Radek Honzik & Lyubomyr Zdomskyy - 2013 - Annals of Pure and Applied Logic 164 (12):1247-1273.

View all 7 citations / Add more citations

References found in this work

The negation of the singular cardinal hypothesis from o(K)=K++.Moti Gitik - 1989 - Annals of Pure and Applied Logic 43 (3):209-234.
The tree property at successors of singular cardinals.Menachem Magidor & Saharon Shelah - 1996 - Archive for Mathematical Logic 35 (5-6):385-404.
Aronszajn trees on ℵ2 and ℵ3.Uri Abraham - 1983 - Annals of Mathematical Logic 24 (3):213-230.
Perfect-set forcing for uncountable cardinals.Akihiro Kanamori - 1980 - Annals of Mathematical Logic 19 (1-2):97-114.

Add more references