A model of intuitionistic analysis
- 1 December 1970
- journal article
- research article
- Published by European Mathematical Society - EMS - Publishing House GmbH in Commentarii Mathematici Helvetici
- Vol. 45 (1) , 440-471
- https://doi.org/10.1007/bf02567344
Abstract
No abstract availableKeywords
This publication has 4 references indexed in Scilit:
- Some applications of Gentzens second consistency proofMathematische Annalen, 1969
- The Theory of Choice SequencesPublished by Elsevier ,1968
- Transfinite induction and bar induction of types zero and one, and the role of continuity in intuitionistic analysisThe Journal of Symbolic Logic, 1966
- Disjunction and existence under implication in elementary intuitionistic formalismsThe Journal of Symbolic Logic, 1962