Abstract
We show that there is an effectively closed maximal eventually different family in spaces of the form πnAn 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.
Original language | English |
---|---|
Journal | Bulletin of the London Mathematical Society |
Volume | 50 |
Pages (from-to) | 340–348 |
ISSN | 0024-6093 |
DOIs | |
Publication status | Published - Apr 2018 |