{"id":"arxiv/2605.04934","url":"https://arxiv.org/abs/2605.04934","tags":["math.LO"],"score":0,"title":"On $\\lam$-existence over a predicate","domain":"math.LO","source":"arxiv","authors":["Alexander Usvyatsov"],"reviews":0,"subject":"math.LO","summary":"We prove that in a countable theory $T$ fully stable over a predicate $P$, any $\\lam$-complete set $A$ has the $\\lam$-existence property. This means that $A$ can be extended to a $\\lam$-saturated model of $T$ without changing the $P$-part. The notion of $\\lam$-completeness, introduced in this paper, captures some obvious necessary conditions for such an extension to be possible (for example, the $P$-part of $A$ has to be a $\\lam$-saturated model of the appropriate theory). So in a fully stable theory $T$, $\\lam$-existence can only fail for trivial reasons. This generalizes results of…","category":"research","comments":0,"disputed":false,"division":"math","mentions":0,"discussed":0,"published":"2026-05-06","reactions":{}}