Pacific Journal of Mathematics

Extensionality and choice in constructive mathematics.

Michael Beeson

Article information

Source
Pacific J. Math., Volume 88, Number 1 (1980), 1-28.

Dates
First available in Project Euclid: 8 December 2004

Permanent link to this document
https://projecteuclid.org/euclid.pjm/1102779710

Mathematical Reviews number (MathSciNet)
MR595810

Zentralblatt MATH identifier
0452.03046

Subjects
Primary: 03F50: Metamathematics of constructive systems

Citation

Beeson, Michael. Extensionality and choice in constructive mathematics. Pacific J. Math. 88 (1980), no. 1, 1--28. https://projecteuclid.org/euclid.pjm/1102779710


Export citation

References

  • [1] P. Aczel, unpublished material.
  • [2] M. Beeson, Goodman's theorem and beyond, Pacific J. Math., 84, (1979), 1-16.
  • [3] M. Beeson, Continuity in intuitionisticset theories, to appear in Proceedings of the Logic Colloquium 1978, North-Holland, 1979, ed. by D. van Dalen, M. Boffa and K. McAloon.
  • [4] M. Beeson,Principles of continuous choice and continuityof functionsinformal systems for constructive mathematics, Annals of Math. Logic, 12 (1977), 249-322.
  • [5] M. Beeson,A type-free Gdel interpretation,J. Symbolic Logic, 43 (1978), 213-227.
  • [6] M. Beeson, Some relations between classical and constructive mathematics, J. Symbolic Logic, 43 (1978), 228-246.
  • [7] E. Bishop, Foundations of Constructive Analysis, McGraw-Hill, 1967.
  • [8] E. Bishop and H. Cheng, Constructive measure theory, Memoirs of the Amer. Math. Sos., No. 116, 1972.
  • [9] S. Feferman, A language and axioms forexplicit mathematics,in Algebra and Logic, Springer Lecture Notes No. 450, 87-139.
  • [10] S. Feferman, Notes on the formalizationof Bishop's constructive mathematics, mimeo- graphed notes, Stanford University. These notes were subsumed in Constructive Theories of Functions and Classes, in Logic Colloquium '78, ed. by M. Boffa, D. van Dolen and K. McAloon.
  • [11] H. Friedman, Set-theoretic foundationsof constructive analysis, Annals of Math., 105 (1977), 1-28.
  • [12] J. Myhill, Constructive set theory, J. Symbolic Logic, 40 (1975), 347-382.
  • [13] A. S. Troelstra, Metamathematicalinvestigations of intuitionisticarithmetic and arithmetic of finite types, Springer Lecture Notes No. 344.