The effective Borel hierarchy
M. Vanden Boom
ISSN
0016−2736
Journal
Fund. Math.
MR Number
2338544 (2009h:03048)
Number
3
Pages
269–289
Volume
195
Year
2007
M. Vanden Boom