Indefiniteness in semi-intuitionistic set theories: On a conjecture of Feferman
Abstract
The paper proves a conjecture of Solomon Feferman concerning the indefiniteness of the continuum hypothesis relative to a semi-intuitionistic set theory.
- Publication:
-
arXiv e-prints
- Pub Date:
- May 2014
- DOI:
- arXiv:
- arXiv:1405.4481
- Bibcode:
- 2014arXiv1405.4481R
- Keywords:
-
- Mathematics - Logic;
- 03F50;
- 03F25;
- 03E55;
- 03B15;
- 03C70
- E-Print:
- 14 pages