Journal of Symbolic Logic
- J. Symbolic Logic
- Volume 78, Issue 3 (2013), 764-784.
Infinite sets that satisfy the principle of omniscience in any variety of constructive mathematics
We show that there are plenty of infinite sets that satisfy the omniscience principle, in a minimalistic setting for constructive mathematics that is compatible with classical mathematics. A first example of an omniscient set is the one-point compactification of the natural numbers, also known as the generic convergent sequence. We relate this to Grilliot's and Ishihara's Tricks. We generalize this example to many infinite subsets of the Cantor space. These subsets turn out to be ordinals in a constructive sense, with respect to the lexicographic order, satisfying both a well-foundedness condition with respect to decidable subsets, and transfinite induction restricted to decidable predicates. The use of simple types allows us to reach any ordinal below $\epsilon_0$, and richer type systems allow us to get higher.
J. Symbolic Logic Volume 78, Issue 3 (2013), 764-784.
First available in Project Euclid: 6 January 2014
Permanent link to this document
Digital Object Identifier
Mathematical Reviews number (MathSciNet)
Zentralblatt MATH identifier
Escardó, Martín. Infinite sets that satisfy the principle of omniscience in any variety of constructive mathematics. J. Symbolic Logic 78 (2013), no. 3, 764--784. doi:10.2178/jsl.7803040. https://projecteuclid.org/euclid.jsl/1389032274