## Compactness of eventually different families

Publikation: Bidrag til tidsskriftTidsskriftartikelForskningfagfællebedømt

• David Schrittesser
We show that there is an effectively closed maximal eventually different family in spaces of the form ∏ An with each An countable and discrete (for example, Baire space) and give an exact criterion for when there exists an effectively compact such family. The proof generalizes and simplifies earlier proofs by Horowitz and Shelah, as well as by the present author.
Originalsprog Engelsk Bulletin of the London Mathematical Society 50 340–348 0024-6093 https://doi.org/10.1112/blms.12139 Udgivet - 29 jan. 2018