%0 Generic %1 lee2012basic %A Lee, Sori %A van Oosten, Jaap %D 2012 %K effective topos %T Basic Subtoposes of the Effective Topos %U http://arxiv.org/abs/1201.2571 %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.

@misc{lee2012basic, abstract = {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.}, added-at = {2014-12-30T11:26:22.000+0100}, author = {Lee, Sori and van Oosten, Jaap}, biburl = {https://www.bibsonomy.org/bibtex/2006e75c1409a6ba7ca7d99bbfbfb9e8d/t.uemura}, description = {[1201.2571] Basic Subtoposes of the Effective Topos}, interhash = {71203dd5e53b82936550a4007476d07e}, intrahash = {006e75c1409a6ba7ca7d99bbfbfb9e8d}, keywords = {effective topos}, note = {cite \href{http://arxiv.org/abs/1201.2571}{arxiv:1201.2571}Comment: 26 pages}, timestamp = {2014-12-30T11:26:22.000+0100}, title = {Basic Subtoposes of the Effective Topos}, url = {http://arxiv.org/abs/1201.2571}, year = 2012 }