Special instances of generalized continuity which are conservative over intuitionistic arithmetic
- 1 January 1977
- journal article
- Published by Elsevier in Indagationes Mathematicae
- Vol. 80 (1) , 55-65
- https://doi.org/10.1016/1385-7258(77)90047-6
Abstract
No abstract availableKeywords
This publication has 3 references indexed in Scilit:
- Note on the fan theoremThe Journal of Symbolic Logic, 1974
- An addendumAnnals of Mathematical Logic, 1971
- Formal systems for some branches of intuitionistic analysisAnnals of Mathematical Logic, 1970