Perfect set theorems for $Π^1_2$ in the universe without choice
Volume 118 / 1983
Fundamenta Mathematicae 118 (1983), 11-31
DOI: 10.4064/fm-118-1-11-31