Stability over a predicate and prime closure

We prove that in a theory $T$ stable over a predicate $P$, for any $λ> |T|$, there is a $λ$-prime model over any complete set A with a $λ$-saturated $P$-part.

No reviews yet.

No comments yet.