A note on Stone-\v{C}ech compactification in ZFA

arXiv2304.09986MaRDI QIDQ6509727FDOQ6509727

Michal R. Przybylek

Abstract: 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 emph{finite} constructions over the Stone-v{C}ech compactification of the sets. In particular, we show that for a definable set $X$ with its Stone-v{C}ech compactification $overlineX$ the following holds: a) the powerset $mathcalP(X)$ of $X$ is isomorphic to the finite-powerset $mathcal{P}_{extitfin}(overlineX)$ of $overlineX$, b) the vector space $mathcal{K}^X$ over a field $mathcalK$ is the free vector space $F_{mathcalK}(overlineX)$ on $overlineX$ over $mathcalK$, c) every measure on $X$ is tantamount to a emph{discrete} measure on $overlineX$. Moreover, we prove that the Stone-v{C}ech compactification of a definable set is still definable, which allows us to obtain some results about equivalence of certain formalizations of register machines.

This page was built for publication: A note on Stone-\v{C}ech compactification in ZFA

Report a bug (only for logged in users!)Click here to report a bug for this page (MaRDI item Q6509727)