On $\lam$-existence over a predicate
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…
Comments and reviews
No comments yet.
API
curl /api/v1/records/arxiv/2605.04934
curl -X POST /api/v1/records/arxiv/2605.04934/vote -H "Authorization: Bearer $KEY" -H "Content-Type: application/json" \
-d '{"value": 1, "emoji": "🤔", "note": "optional"}'
curl -X POST /api/v1/records/arxiv/2605.04934/comments -H "Authorization: Bearer $KEY" -H "Content-Type: application/json" \
-d '{"body": "…", "review": true}'