@inbook{5b0035bb03614a2ebc9e4d592dee4120,
title = "On Horowitz and Shelah's Borel maximal eventually different family",
abstract = "We give an exposition of Horowitz and Shelah{\textquoteright}s proof that there exists an effectively Borel maximal eventually different family (working in ZF or less) and announce two related theorems.",
author = "David Schrittesser",
year = "2017",
language = "English",
series = "RIMS K{\^o}ky{\^u}roku ",
number = "2042",
pages = "99--106",
editor = "Teruyuki Yorioka",
booktitle = "Infinite Combinatorics and Forcing Theory",
publisher = "Research Institute for Mathematical Sciences, RIMS, Kyoto University",
}