A preservation theorem for theories without the tree property of the first kind

Jan Dobrowolski, Hyeungjoon Kim

Published 2016-08-21Version 1

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.