Martín Escardó. Infinite sets that satisfy the principle of omniscience in any variety of constructive mathematics. Journal of Symbolic Logic, 78(3):764-784, 2013. [doi]
@article{Escardo13-1, title = {Infinite sets that satisfy the principle of omniscience in any variety of constructive mathematics}, author = {Martín Escardó}, year = {2013}, url = {http://projecteuclid.org/euclid.jsl/1389032274}, researchr = {https://researchr.org/publication/Escardo13-1}, cites = {0}, citedby = {0}, journal = {Journal of Symbolic Logic}, volume = {78}, number = {3}, pages = {764-784}, }