A note on Stone-Čech compactification in ZFA

Michał R. Przybyłek

Working in Zermelo-Fraenkel Set Theory with Atoms over an $\omega$-categorical $\omega$-stable structure, we show how \emph{infinite} constructions over definable sets can be encoded as \emp…