Basic Subtoposes of the Effective Topos
Logic
2012-01-13 v1
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.
Cite
@article{arxiv.1201.2571,
title = {Basic Subtoposes of the Effective Topos},
author = {Sori Lee and Jaap van Oosten},
journal= {arXiv preprint arXiv:1201.2571},
year = {2012}
}
Comments
26 pages