Article,

Infinite sets that satisfy the principle of omniscience in any variety of constructive mathematics.

.
J. Symb. Log., 78 (3): 764-784 (2013)

Meta data

Tags

Users

  • @dblp

Comments and Reviews