An interpretation of intuitionistic analysis
- 28 February 1978
- journal article
- Published by Elsevier in Annals of Mathematical Logic
- Vol. 13 (1) , 1-43
- https://doi.org/10.1016/0003-4843(78)90029-3
Abstract
No abstract availableThis publication has 9 references indexed in Scilit:
- The use of Kripke's schema as a reduction principleThe Journal of Symbolic Logic, 1977
- Kripke models and the intuitionistic theory of speciesAnnals of Mathematical Logic, 1976
- A model for HAS. A topological interpretation of the theory of species of natural numbersFundamenta Mathematicae, 1974
- Independence problems in subsystems of intuitionistic arithmeticIndagationes Mathematicae, 1971
- Notes on the intuitionistic theory of sequences (III)Indagationes Mathematicae, 1970
- Formal systems for some branches of intuitionistic analysisAnnals of Mathematical Logic, 1970
- Vollständige Systeme modaler und intuitionistischer LogikPublished by Springer Nature ,1968
- Transfinite induction and bar induction of types zero and one, and the role of continuity in intuitionistic analysisThe Journal of Symbolic Logic, 1966
- A remark on free choice sequences and the topological completeness proofsThe Journal of Symbolic Logic, 1958