Basic subtoposes of the effective topos. - Sori Lee; Jaap van Oosten (Ann. Pure Appl. Log., 2013)