Colored-linear-order versions of the tree property, TP1, and TP2 are shown to be equivalent, respectively, to instability, TP1, and the independence property.
A Walk on the Wild Side : Notions of maximality in first-order theories, 2024
1 Pith paper cite this work. Polarity classification is still indexing.
1
Pith paper citing it
fields
math.LO 1years
2025 1verdicts
CONDITIONAL 1representative citing papers
citing papers explorer
-
Results on Colored Tree Properties
Colored-linear-order versions of the tree property, TP1, and TP2 are shown to be equivalent, respectively, to instability, TP1, and the independence property.