Basic Subtoposes of the Effective Topos
  We employ a new tool (sights) to investigate local operators in the Effective Topos. A number of new such local operators is analyzed using this machinery. Moreover, we investigate a local operator defined in the thesis of A. Pitts, and establish that its corresponding subtopos satisfies true arithmetic. 
Sori Lee and Jaap van Oosten
math.LO