A preservation theorem for theories without the tree property of the first kind
Abstract
We prove that the NTP$_1$ property of a geometric theory $T$ is inherited by theories of lovely pairs and $H$-structures associated to $T$. We also provide a class of examples of nonsimple geometric NTP$_1$ theories.
- Publication:
-
arXiv e-prints
- Pub Date:
- August 2016
- DOI:
- 10.48550/arXiv.1608.06006
- arXiv:
- arXiv:1608.06006
- Bibcode:
- 2016arXiv160806006D
- Keywords:
-
- Mathematics - Logic
- E-Print:
- Mathematical Logic Quarterly (63), 536-543, 2017