Recursive models for constructive set theories
- 31 December 1982
- journal article
- Published by Elsevier in Annals of Mathematical Logic
- Vol. 23 (2-3) , 127-178
- https://doi.org/10.1016/0003-4843(82)90003-1
Abstract
No abstract availableKeywords
This publication has 8 references indexed in Scilit:
- Extensionality and choice in constructive mathematicsPacific Journal of Mathematics, 1980
- Principles of continuous choice and continuity of functions in formal systems for constructive mathematicsAnnals of Mathematical Logic, 1977
- A note on non-extensional operations in connection with continuity and recursivenessIndagationes Mathematicae, 1977
- Set Theoretic Foundations for Constructive AnalysisAnnals of Mathematics, 1977
- Constructive set theoryThe Journal of Symbolic Logic, 1975
- The nonderivability in intuitionistic formal systems of theorems on the continuity of effective operationsThe Journal of Symbolic Logic, 1975
- Metamathematical Investigation of Intuitionistic Arithmetic and AnalysisPublished by Springer Nature ,1973
- Recursive metric spacesFundamenta Mathematicae, 1964