Notions around tree property 1

Byunghan Kim, Hyeung Joon Kim

Research output: Contribution to journalArticle

13 Citations (Scopus)

Abstract

In this paper, we study the notions related to tree property 1 (=TP1), 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 (2004)[5] is crucially used throughout the paper.

Original languageEnglish
Pages (from-to)698-709
Number of pages12
JournalAnnals of Pure and Applied Logic
Volume162
Issue number9
DOIs
Publication statusPublished - 2011 Sep 1

Fingerprint

Counting
Imply
Equivalence
Generalization

All Science Journal Classification (ASJC) codes

  • Logic

Cite this

Kim, Byunghan ; Kim, Hyeung Joon. / Notions around tree property 1. In: Annals of Pure and Applied Logic. 2011 ; Vol. 162, No. 9. pp. 698-709.
@article{67f0686a932c4caab4626fff5549815f,
title = "Notions around tree property 1",
abstract = "In this paper, we study the notions related to tree property 1 (=TP1), 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 (2004)[5] is crucially used throughout the paper.",
author = "Byunghan Kim and Kim, {Hyeung Joon}",
year = "2011",
month = "9",
day = "1",
doi = "10.1016/j.apal.2011.02.001",
language = "English",
volume = "162",
pages = "698--709",
journal = "Annals of Pure and Applied Logic",
issn = "0168-0072",
publisher = "Elsevier",
number = "9",

}

Notions around tree property 1. / Kim, Byunghan; Kim, Hyeung Joon.

In: Annals of Pure and Applied Logic, Vol. 162, No. 9, 01.09.2011, p. 698-709.

Research output: Contribution to journalArticle

TY - JOUR

T1 - Notions around tree property 1

AU - Kim, Byunghan

AU - Kim, Hyeung Joon

PY - 2011/9/1

Y1 - 2011/9/1

N2 - In this paper, we study the notions related to tree property 1 (=TP1), 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 (2004)[5] is crucially used throughout the paper.

AB - In this paper, we study the notions related to tree property 1 (=TP1), 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 (2004)[5] is crucially used throughout the paper.

UR - http://www.scopus.com/inward/record.url?scp=79955132780&partnerID=8YFLogxK

UR - http://www.scopus.com/inward/citedby.url?scp=79955132780&partnerID=8YFLogxK

U2 - 10.1016/j.apal.2011.02.001

DO - 10.1016/j.apal.2011.02.001

M3 - Article

AN - SCOPUS:79955132780

VL - 162

SP - 698

EP - 709

JO - Annals of Pure and Applied Logic

JF - Annals of Pure and Applied Logic

SN - 0168-0072

IS - 9

ER -