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])

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

On the consistency of the definable tree property on ℵ.Amir Leshem - 2000 - Journal of Symbolic Logic 65 (3):1204 - 1214.
Building iteration trees.Alessandro Andretta - 1991 - Journal of Symbolic Logic 56 (4):1369-1384.
Souslin forcing.Jaime I. Ihoda & Saharon Shelah - 1988 - Journal of Symbolic Logic 53 (4):1188-1207.
MRP , tree properties and square principles.Remi Strullu - 2011 - Journal of Symbolic Logic 76 (4):1441-1452.
The tree property at [image].Dima Sinapova - 2012 - Journal of Symbolic Logic 77 (1):279 - 290.
On iterating semiproper preorders.Tadatoshi Miyamoto - 2002 - Journal of Symbolic Logic 67 (4):1431-1468.
Power-like models of set theory.Ali Enayat - 2001 - Journal of Symbolic Logic 66 (4):1766-1782.
The weak square property.Steve Jackson - 2001 - Journal of Symbolic Logic 66 (2):640-657.
A theorem on partial conservativity in arithmetic.Per Lindström - 2011 - Journal of Symbolic Logic 76 (1):341 - 347.
Lexicalized Non-Local MCTAG with Dominance Links is NP-Complete.Lucas Champollion - 2011 - Journal of Logic, Language and Information 20 (3):343-359.

Analytics

Added to PP
2013-09-30

Downloads
13 (#886,512)

6 months
1 (#1,040,386)

Historical graph of downloads
How can I increase my downloads?

Author's Profile

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