Zobrazeno 1 - 1
of 1
pro vyhledávání: '"03F55, 03F35"'
Autor:
Veldman, Wim
The paper is a contribution to intuitionistic reverse mathematics. We work in a weak formal system for intuitionistic analysis. The Principle of Open Induction on Cantor space is the statement that every open subset of Cantor space that is progressiv
Externí odkaz:
http://arxiv.org/abs/1408.2493
