Reference. Basic Subtoposes of the Effective Topos [lee-2012-basic]

2012 · Sori Lee, Jaap van Oosten · https://arxiv.org/abs/1201.2571

@article{lee-2012-basic,
	title = {Basic Subtoposes of the Effective Topos},
	author = {Lee, Sori and van Oosten, Jaap},
	year = {2012},
	url = {https://arxiv.org/abs/1201.2571},
	eprinttype = {arXiv},
	eprint = {1201.2571},
	journal = {arXiv preprint arXiv:1201.2571}
}