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:2 - 2 self