The strong tree property and weak square

&
Mathematical Logic Quarterly 63 (1-2):150-154 (2017)
  Copy   BIBTEX

Abstract

We show that it is consistent, relative to ω many supercompact cardinals, that the super tree property holds at for all but there are weak square and a very good scale at.

Categories

Add categories

Keywords

Reprint years

DOI

10.1002/malq.201600009

Links

PhilArchive



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

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

Fragility and indestructibility of the tree property.Spencer Unger - 2012 - Archive for Mathematical Logic 51 (5-6):635-645.
Weak covering and the tree property.Ralf-Dieter Schindler - 1999 - Archive for Mathematical Logic 38 (8):515-520.
Notions around tree property 1.Byunghan Kim & Hyeung-Joon Kim - 2011 - Annals of Pure and Applied Logic 162 (9):698-709.
P-ideal dichotomy and weak squares.Dilip Raghavan - 2013 - Journal of Symbolic Logic 78 (1):157-167.
Separating weak partial square principles.John Krueger & Ernest Schimmerling - 2014 - Annals of Pure and Applied Logic 165 (2):609-619.
The tree property at א ω+2.Sy-David Friedman & Ajdin Halilović - 2011 - Journal of Symbolic Logic 76 (2):477 - 490.
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.
Embeddings of Computable Structures.Asher M. Kach, Oscar Levin & Reed Solomon - 2010 - Notre Dame Journal of Formal Logic 51 (1):55-68.
Strengths and weaknesses of weak and strong supervenience.Mark Moyer - unknown
On Weak and Strong Interpolation in Algebraic Logics.Gábor Sági & Saharon Shelah - 2006 - Journal of Symbolic Logic 71 (1):104 - 118.
Weak partition properties on trees.Michael Hrušák, Petr Simon & Ondřej Zindulka - 2013 - Archive for Mathematical Logic 52 (5-6):543-567.
Aronszajn trees and the successors of a singular cardinal.Spencer Unger - 2013 - Archive for Mathematical Logic 52 (5-6):483-496.
A Dilemma for the Weak Deflationist about Truth.Glen Hoffmann - 2007 - Sorites 18:129-137.
Weak and global supervenience are strong.Mark Moyer - 2008 - Philosophical Studies 138 (1):125 - 150.
A cofinality-preserving small forcing may introduce a special Aronszajn tree.Assaf Rinot - 2009 - Archive for Mathematical Logic 48 (8):817-823.

Analytics

Added to PP
2017-03-26

Downloads
23 (#682,859)

6 months
4 (#792,011)

Historical graph of downloads
How can I increase my downloads?

Citations of this work

No citations found.

Add more citations

References found in this work

Combinatorial principles in the core model for one Woodin cardinal.Ernest Schimmerling - 1995 - Annals of Pure and Applied Logic 74 (2):153-201.
The tree property at successors of singular cardinals.Menachem Magidor & Saharon Shelah - 1996 - Archive for Mathematical Logic 35 (5-6):385-404.
The fine structure of the constructible hierarchy.R. Björn Jensen - 1972 - Annals of Mathematical Logic 4 (3):229.
A model of Cummings and Foreman revisited.Spencer Unger - 2014 - Annals of Pure and Applied Logic 165 (12):1813-1831.

View all 6 references / Add more references