Abstract
AbstractThe paper proves a conjecture of Solomon Feferman concerning the indefiniteness of the continuum hypothesis relative to a semi-intuitionistic set theory.
Publisher
Cambridge University Press (CUP)
Reference30 articles.
1. Some properties of intuitionistic zermelo-frankel set theory
2. [25] Rathjen M. , The disjunction and other properties for constructive Zermelo-Fraenkel set theory, this Journal, vol. 70 (2005), pp. 1233–1254.
3. Foundations of Constructive Mathematics
Cited by
10 articles.
订阅此论文施引文献
订阅此论文施引文献，注册后可以免费订阅5篇论文的施引文献，订阅后可以查看论文全部施引文献