The tree property and the continuum function below

Mathematical Logic Quarterly 64 (1-2):89-102 (2018)
  Copy   BIBTEX

Abstract

We say that a regular cardinal κ,, has the tree property if there are no κ‐Aronszajn trees; we say that κ has the weak tree property if there are no special κ‐Aronszajn trees. Starting with infinitely many weakly compact cardinals, we show that the tree property at every even cardinal,, is consistent with an arbitrary continuum function below which satisfies,. Next, starting with infinitely many Mahlo cardinals, we show that the weak tree property at every cardinal,, is consistent with an arbitrary continuum function below which satisfies,. Thus the tree property has no provable effect on the continuum function below except for the trivial requirement that the tree property at implies for every infinite κ.

Links

PhilArchive



    Upload a copy of this work     Papers currently archived: 91,503

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

Fragility and indestructibility of the tree property.Spencer Unger - 2012 - Archive for Mathematical Logic 51 (5-6):635-645.
Global singularization and the failure of SCH.Radek Honzik - 2010 - Annals of Pure and Applied Logic 161 (7):895-915.
Easton’s theorem and large cardinals.Sy-David Friedman & Radek Honzik - 2008 - Annals of Pure and Applied Logic 154 (3):191-208.
Gregory trees, the continuum, and Martin's axiom.Kenneth Kunen & Dilip Raghavan - 2009 - Journal of Symbolic Logic 74 (2):712-720.
Aronszajn and Kurepa trees.James Cummings - 2018 - Archive for Mathematical Logic 57 (1-2):83-90.
Finite Tree Property for First-Order Logic with Identity and Functions.Merrie Bergmann - 2005 - Notre Dame Journal of Formal Logic 46 (2):173-180.
The tree property and the failure of SCH at uncountable cofinality.Dima Sinapova - 2012 - Archive for Mathematical Logic 51 (5-6):553-562.
On supercompactness and the continuum function.Brent Cody & Menachem Magidor - 2014 - Annals of Pure and Applied Logic 165 (2):620-630.
A remark on the tree property in a choiceless context.Arthur W. Apter - 2011 - Archive for Mathematical Logic 50 (5-6):585-590.

Analytics

Added to PP
2018-04-15

Downloads
14 (#982,380)

6 months
5 (#626,991)

Historical graph of downloads
How can I increase my downloads?

Citations of this work

Easton's theorem for the tree property below ℵ.Šárka Stejskalová - 2021 - Annals of Pure and Applied Logic 172 (7):102974.

Add more citations

References found in this work

Aronszajn trees on ℵ2 and ℵ3.Uri Abraham - 1983 - Annals of Mathematical Logic 24 (3):213-230.
The fine structure of the constructible hierarchy.R. Björn Jensen - 1972 - Annals of Mathematical Logic 4 (3):229.
The tree property up to אω+1.Itay Neeman - 2014 - Journal of Symbolic Logic 79 (2):429-459.
Fragility and indestructibility of the tree property.Spencer Unger - 2012 - Archive for Mathematical Logic 51 (5-6):635-645.

View all 14 references / Add more references