More on tree properties

Enrique Casanovas, Byunghan Kim

Research output: Contribution to journalArticlepeer-review

1 Citation (Scopus)


Tree properties were introduced by Shelah, and it is well-known that a theory has TP (the tree property) if and only if it has TP1 or TP2. In any simple theory (i.e., a theory not having TP), forking supplies a good independence notion as it satisfies symmetry, full transitivity, extension, local character, and type-amalgamation, over sets. Shelah also introduced SOPn (n-strong order property). Recently it has been proved that in any NSOP1 theory (i.e. a theory not having SOP1) having nonforking existence, Kim-forking also satisfies all the above mentioned independence properties except base monotonicity (one direction of full transitivity). These results are the sources of motivation for this paper. Mainly, we produce type-counting criteria for SOP2 (which is equivalent to TP1) and SOP1. In addition, we study relationships between TP2 and Kim-forking, and show that a theory is supersimple iff there is no countably infinite Kim-forking chain.

Original languageEnglish
Pages (from-to)287-301
Number of pages15
JournalFundamenta Mathematicae
Issue number3
Publication statusPublished - 2020

Bibliographical note

Publisher Copyright:
© Instytut Matematyczny PAN, 2020.

All Science Journal Classification (ASJC) codes

  • Algebra and Number Theory


Dive into the research topics of 'More on tree properties'. Together they form a unique fingerprint.

Cite this