## Infinite sets that satisfy the principle of omniscience in all varieties of constructive mathematics, Martin-Löf formalization, in Agda notation, of part of the paper with the same title

by
Martín H. Escardó

Venue: | University of Birmingham, UK, http://www.cs.bham.ac.uk/~mhe/papers/ omniscient/AnInfiniteOmniscientSet.html, September 2011. SETS IN CONSTRUCTIVE MATHEMATICS 21 |

Citations: | 3 - 3 self |