In countable fully stable theories over a predicate, λ-complete sets have the λ-existence property.
Title resolution pending
1 Pith paper cite this work. Polarity classification is still indexing.
1
Pith paper citing it
fields
math.LO 1years
2026 1verdicts
UNVERDICTED 1representative citing papers
citing papers explorer
-
On $\lam$-existence over a predicate
In countable fully stable theories over a predicate, λ-complete sets have the λ-existence property.