Recursive models for constructive set theories
Author:
- M. BeesonMBM. Beeson
- 31 December 1982
- journal article
- Published by Elsevier in Annals of Mathematical Logic
- Vol. 23 (2-3) , 127-178
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 Analysis1973
- Recursive metric spacesFundamenta Mathematicae, 1964