arXiv Analytics

Sign in

arXiv:1201.2571 [math.LO]AbstractReferencesReviewsResources

Basic Subtoposes of the Effective Topos

Sori Lee, Jaap van Oosten

Published 2012-01-12Version 1

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.

Comments: 26 pages
Categories: math.LO
Subjects: 03D28, 18B25
Related articles: Most relevant | Search more
arXiv:2411.06043 [math.LO] (Published 2024-11-09)
The subTuring degrees
arXiv:1301.0735 [math.LO] (Published 2013-01-04)
Realizability with a Local Operator of A.M. Pitts
arXiv:0911.0068 [math.LO] (Published 2009-10-31)
On the Failure of Fixed-Point Theorems for Chain-complete Lattices in the Effective Topos

Links

Toolbox