Working in Zermelo-Fraenkel Set Theory with Atoms over an
ω-categorical ...
Recent results show that a constraint satisfaction problem (CSP) defined...
Sets with atoms serve as an alternative to ZFC foundations for mathemati...
In this paper we revisit the classical problem of polynomial interpolati...
share