Compactness of eventually different families
Publikation: Bidrag til tidsskrift › Tidsskriftartikel › Forskning › fagfællebedømt
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.
|Tidsskrift||Bulletin of the London Mathematical Society|
|Status||Udgivet - 29 jan. 2018|