Continuity in Intuitionistic Set Theories
- 1 January 1979
- book chapter
- Published by Elsevier
Abstract
No abstract availableThis publication has 4 references indexed in Scilit:
- On the area of harmonic surfacesProceedings of the American Mathematical Society, 1978
- Principles of continuous choice and continuity of functions in formal systems for constructive mathematicsAnnals of Mathematical Logic, 1977
- Non-continuous dependence of surfaces of least area on the boundary curvePacific Journal of Mathematics, 1977
- A perturbation theorem for surfaces of constant mean curvatureMathematische Zeitschrift, 1975