TY  - RPRT
TI  - Basic Subtoposes of the Effective Topos
AU  - Sori Lee
AU  - Jaap van Oosten
PY  - 2012
UR  - https://arxiv.org/abs/1201.2571
ID  - 1201.2571
ER  -