Goubault-Larrecq, J. $\Pi^0_2$ Subsets of Domain-Complete Spaces and Countably Correlated Spaces. Top Proc 2020, 58, 13-22.