@dblp

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

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

Links and resources

Tags