Sebastiaan Terwijn The Medvedev lattice of computably closed sets. 179-190 2006 45 Arch. Math. Log. 2 http://dx.doi.org/10.1007/s00153-005-0278-y db/journals/aml/aml45.html#Terwijn06