W. Fleissner and L. Yengulalp, “Baire spaces, $G_\delta$’s, and directed complete spaces”, Top Proc, vol. 59, pp. 111–151, Mar. 2021.