Principles of continuous choice and continuity of functions in formal systems for constructive mathematics
Open Access
- 31 December 1977
- journal article
- Published by Elsevier in Annals of Mathematical Logic
- Vol. 12 (3) , 249-322
- https://doi.org/10.1016/s0003-4843(77)80003-x
Abstract
No abstract availableThis publication has 11 references indexed in Scilit:
- Some models for intuitionistic finite type arithmetic with fan functionalThe Journal of Symbolic Logic, 1977
- Derived rules of inference related to the continuity of effective operationsThe Journal of Symbolic Logic, 1976
- The unprovability in intuitionistic formal systems of the continuity of effective operations on the realsThe Journal of Symbolic Logic, 1976
- A perturbation theorem for surfaces of constant mean curvatureMathematische Zeitschrift, 1975
- The nonderivability in intuitionistic formal systems of theorems on the continuity of effective operationsThe Journal of Symbolic Logic, 1975
- Constructive measure theoryMemoirs of the American Mathematical Society, 1972
- Formalized recursive functionals and formalized realizabilityMemoirs of the American Mathematical Society, 1969
- Principles of IntuitionismLecture Notes in Mathematics, 1969
- On weak completeness of intuitionistic predicate logicThe Journal of Symbolic Logic, 1962
- The Continuity of the Area of Harmonic Surfaces as a Function of the Boundary RepresentationsAmerican Journal of Mathematics, 1941