Some derived rules of intuitionistic second order arithmetic
Open Access
- 1 January 1977
- journal article
- Published by Project Euclid in Proceedings of the Japan Academy, Series A, Mathematical Sciences
- Vol. 53 (3) , 110-112
- https://doi.org/10.3792/pja/1195517883
Abstract
Project Euclid - mathematics and statistics onlineKeywords
This publication has 4 references indexed in Scilit:
- Note on the fan theoremThe Journal of Symbolic Logic, 1974
- Metamathematical Investigation of Intuitionistic Arithmetic and AnalysisPublished by Springer Nature ,1973
- Hauptsatz for the Intuitionistic Theory of Iterated Inductive DefinitionsPublished by Elsevier ,1971
- Transfinite induction and bar induction of types zero and one, and the role of continuity in intuitionistic analysisThe Journal of Symbolic Logic, 1966