Notions around tree property 1
Annals of Pure and Applied Logic 162 (9):698-709 (2011)
Abstract
In this paper, we study the notions related to tree property 1 , or, equivalently, SOP2. Among others, we supply a type-counting criterion for TP1 and show the equivalence of TP1 and k- TP1. Then we introduce the notions of weak k- TP1 for k≥2, and also supply type-counting criteria for those. We do not know whether weak k- TP1 implies TP1, but at least we prove that each weak k- TP1 implies SOP1. Our generalization of the tree-indiscernibility results in Džamonja and Shelah [5] is crucially used throughout the paperDOI
10.1016/j.apal.2011.02.001
My notes
Similar books and articles
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.
On the consistency of the definable tree property on ℵ.Amir Leshem - 2000 - Journal of Symbolic Logic 65 (3):1204 - 1214.
The tree property at א ω+2.Sy-David Friedman & Ajdin Halilović - 2011 - Journal of Symbolic Logic 76 (2):477 - 490.
On iterating semiproper preorders.Tadatoshi Miyamoto - 2002 - Journal of Symbolic Logic 67 (4):1431-1468.
Can 'intrinsic' be defined using only broadly logical notions?Dan Marshall - 2009 - Philosophy and Phenomenological Research 78 (3):646-672.
Supercompact cardinals, trees of normal ultrafilters, and the partition property.Julius B. Barbanel - 1986 - Journal of Symbolic Logic 51 (3):701-708.
Reverse mathematics and Ramsey's property for trees.Jared Corduan, Marcia J. Groszek & Joseph R. Mileti - 2010 - Journal of Symbolic Logic 75 (3):945-954.
Creatures on ω 1 and weak diamonds.Heike Mildenberger - 2009 - Journal of Symbolic Logic 74 (1):1-16.
The Equivalence of Tree Adjoining Grammars and Monadic Linear Context-free Tree Grammars.Stephan Kepser & Jim Rogers - 2011 - Journal of Logic, Language and Information 20 (3):361-384.
Fragility and indestructibility of the tree property.Spencer Unger - 2012 - Archive for Mathematical Logic 51 (5-6):635-645.
Reals n-Generic Relative to Some Perfect Tree.Bernard A. Anderson - 2008 - Journal of Symbolic Logic 73 (2):401 - 411.
The tree property and the failure of SCH at uncountable cofinality.Dima Sinapova - 2012 - Archive for Mathematical Logic 51 (5-6):553-562.
Analytics
Added to PP
2013-10-27
Downloads
21 (#543,408)
6 months
1 (#451,398)
2013-10-27
Downloads
21 (#543,408)
6 months
1 (#451,398)
Historical graph of downloads
Citations of this work
Theories without the tree property of the second kind.Artem Chernikov - 2014 - Annals of Pure and Applied Logic 165 (2):695-723.
On model-theoretic tree properties.Artem Chernikov & Nicholas Ramsey - 2016 - Journal of Mathematical Logic 16 (2):1650009.
On the existence of indiscernible trees.Kota Takeuchi & Akito Tsuboi - 2012 - Annals of Pure and Applied Logic 163 (12):1891-1902.
Tree indiscernibilities, revisited.Byunghan Kim, Hyeung-Joon Kim & Lynn Scow - 2014 - Archive for Mathematical Logic 53 (1-2):211-232.
An axiomatic approach to free amalgamation.Gabriel Conant - 2017 - Journal of Symbolic Logic 82 (2):648-671.
References found in this work
Simple theories.Byunghan Kim & Anand Pillay - 1997 - Annals of Pure and Applied Logic 88 (2-3):149-164.
Toward classifying unstable theories.Saharon Shelah - 1996 - Annals of Pure and Applied Logic 80 (3):229-255.
Characterizing Rosy Theories.Clifton Ealy & Alf Onshuus - 2007 - Journal of Symbolic Logic 72 (3):919 - 940.
On ◁∗-maximality.Mirna Džamonja & Saharon Shelah - 2004 - Annals of Pure and Applied Logic 125 (1-3):119-158.
