Keywords
- Formal System
- Free Variable
- Choice Function
- Finite Type
- Unary Predicate
These keywords were added by machine and not by the authors. This process is experimental and the keywords may be updated as the learning algorithm improves.
This is a preview of subscription content, access via your institution.
Buying options
Tax calculation will be finalised at checkout
Purchases are for personal use only
Learn about institutional subscriptionsPreview
Unable to display preview. Download preview PDF.
References
Beeson, M. J.: Principles of continuous choice and continuity of functions in formal systems for constructive mathematics. Annals of Math. Logic, 12, 249–322 (1977).
Beeson, M. J.: Continuity in intuitionistic set theories. In Logic Colloquium '78 (ed. Boffa, M., van Dalen, D., and MacAloon, K.). Amsterdam: North-Holland 1979.
Beeson, M. J.: A theory of constructions and proofs. To appear in J. Symbolic Logic. Preprint version: University of Utrecht, preprint no. 134, Nov. 1979.
Beeson, M. J.: Problematic principles in constructive mathematics. To appear in Logic Colloquium '80, or elsewhere if this volume is not published.
Beeson, M. J.: Recursive models for constructive set theory. To appear. (Submitted to Annals of Math. Logic). Preprint version: University of Utrecht, preprint no. 179, Nov. 1980.
Bishop, E.: Foundations of Constructive Analysis. New York: McGraw-Hill 1967.
Bishop, E., and Cheng, H.: Constructive measure theory. Memoirs of the AMS 116. Providence, R. I. (1972).
Bridges, D.: Constructive Functional Analysis. London: Pitman 1979.
Feferman, S.: A language and axioms for explicity mathematics. In Algebra and Logic, Springer Lecture Notes No. 450. Berlin-Heidelberg-New York: Springer 1975.
Feferman, S.: Constructive theories of functions and classes. In Logic Colloquium '78 (ed. Boffa, M., van Dalen, D., and MacAloon, K.) Amsterdam: North-Holland 1979.
Friedman, H.: Set-theoretic foundations for constructive analysis. Annals of Math. 105, 1–28 (1977).
Greenleaf, N.: Liberal constructive set theory. This volume.
Kleene, S., and Vesley, R.: The Foundations of Intuitionistic Mathematics, Especially in Relation to Recursive Function Theory. Amsterdam: North-Holland 1965.
Kreisel, G.: Mathematical logic. In Lectures on Modern Mathematics (ed. Saaty, T.). New York: Wiley 1965.
Martin-Löf, P.: An intuitionistic theory of types: predicative part. In Logic Colloquium '73 (ed. Rose, H.E., and Shepherdson, J.C.). Amsterdam: North-Holland 1975.
Martin-Löf, P.: Constructive mathematics and computer programming. Preprint No. 11, University of Stockholm, 1979.
Myhill, J.: Constructive set theory. J. Symbolic Logic 40, 347–383 (1975).
Smullyan, R.: Theory of Formal Systems. Princeton: Princeton University Press 1961, rev. 1963.
Troelstra, A.S.: Principles of Intuitionism. Springer Lecture Notes No. 95. Berlin-Heidelberg-New York: Springer 1969.
Troelstra, A.S.: Metamathematical Investigation of Intuitionistic Arithmetic and Analysis. Springer Lecture Notes No. 344. Berlin-Heidelberg-New York: Springer 1973.
Troelstra, A.S.: Constructive mathematics. In Handbook of Mathematical Logic (ed. Barwise, J.). Amsterdam: North-Holland 1977.
Troelstra, A.S.: A note on non-extensional operations in connection with continuity and recursiveness. Indagationes Math. 39, 455–462 (1977).
Author information
Authors and Affiliations
Editor information
Editors and Affiliations
Rights and permissions
Copyright information
© 1981 Springer-Verlag
About this paper
Cite this paper
Beeson, M.J. (1981). Formalizing constructive mathematics: Why and how?. In: Richman, F. (eds) Constructive Mathematics. Lecture Notes in Mathematics, vol 873. Springer, Berlin, Heidelberg. https://doi.org/10.1007/BFb0090733
Download citation
DOI: https://doi.org/10.1007/BFb0090733
Published:
Publisher Name: Springer, Berlin, Heidelberg
Print ISBN: 978-3-540-10850-4
Online ISBN: 978-3-540-38759-6
eBook Packages: Springer Book Archive
