Compactness of eventually different families

Research output: Contribution to journalJournal articlepeer-review

  • 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.
Original languageEnglish
JournalBulletin of the London Mathematical Society
Volume50
Pages (from-to)340–348
ISSN0024-6093
DOIs
Publication statusPublished - 29 Jan 2018

Links

ID: 188491037