References & Citations
Mathematics > Logic
Title: SOP$_1$, SOP$_2$, and antichain tree property
(Submitted on 23 Mar 2020 (v1), last revised 10 Dec 2023 (this version, v5))
Abstract: In this paper, we study some tree properties and their related indiscernibilities. First, we prove that SOP$_2$ can be witnessed by a formula with a tree of tuples holding 'arbitrary homogeneous inconsistency' (e.g., weak k-TP$_1$ conditions or other possible inconsistency configurations). And we introduce a notion of tree-indiscernibility, which preserves witnesses of SOP$_1$, and by using this, we investigate the problem of (in)equality of SOP$_1$ and SOP$_2$. Assuming the existence of a formula having SOP$_1$ such that no finite conjunction of it has SOP$_2$, we observe that the formula must witness some tree-property-like phenomenon, which we will call the antichain tree property (ATP, see Definition 4.1). We show that ATP implies SOP$_1$ and TP$_2$, but the converse of each implication does not hold. So the class of NATP theories (theories without ATP) contains the class of NSOP$_1$ theories and the class of NTP$_2$ theories. At the end of the paper, we construct a structure whose theory has a formula having ATP, but any conjunction of the formula does not have SOP$_2$. So this example shows that SOP$_1$ and SOP$_2$ are not the same at the level of formulas, i.e., there is a formula having SOP$_1$, while any finite conjunction of it does not witness SOP$_2$ (but a variation of the formula still has SOP$_2$).
Submission history
From: Joonhee Kim [view email][v1] Mon, 23 Mar 2020 00:02:10 GMT (26kb)
[v2] Wed, 25 Mar 2020 07:58:36 GMT (26kb)
[v3] Tue, 31 Mar 2020 04:57:28 GMT (25kb)
[v4] Sun, 9 May 2021 09:17:41 GMT (25kb)
[v5] Sun, 10 Dec 2023 12:55:53 GMT (26kb)
Link back to: arXiv, form interface, contact.