Submission date: 2 January 2024

Abstract:

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.

Mathematics Subject Classification:

Keywords and phrases:

Full text arXiv 2401.01429: pdf, ps.