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.

Cited by in corpus (1)

• Preservation of NATP