arXiv:1704.04751 [math.LO]AbstractReferencesReviewsResources
Compactness of maximal eventually different families
Published 2017-04-16Version 1
We show that there is an effectively closed maximal eventually different family of functions in spaces of the form $\prod_n F(n)$ for $F\colon \mathbb{N} \to \mathbb{N}\cup\{\mathbb{N}\}$ and give an exact criterion for when there exists an effectively compact such family.
Comments: 9 pages
Categories: math.LO
Related articles: Most relevant | Search more
arXiv:math/9604211 [math.LO] (Published 1996-04-24)
Compactness of Loeb Spaces
arXiv:math/0404240 [math.LO] (Published 2004-04-13)
The pair $(\aleph_n,\aleph_0)$ may fail $\aleph_0$--compactness
arXiv:1601.03596 [math.LO] (Published 2016-01-14)
Compactness of the quantifier on "Complete Embedding of BA's"