On the existence property over a predicate

Alexander Usvyatsov

We prove that in a countable theory T fully stable over a predicate P, any complete set A has the existence property. This means that A can be extended to a model of T without chan…