%0 Journal Article
%T Basic Subtoposes of the Effective Topos
%A Sori Lee
%A Jaap van Oosten
%J Mathematics
%D 2012
%I arXiv
%X 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.
%U http://arxiv.org/abs/1201.2571v1