Foundations of Constructive Analysis

New York, NY, USA: Mcgraw-Hill (1967)
  Copy   BIBTEX

Abstract

This book, Foundations of Constructive Analysis, founded the field of constructive analysis because it proved most of the important theorems in real analysis by constructive methods. The author, Errett Albert Bishop, born July 10, 1928, was an American mathematician known for his work on analysis. In the later part of his life Bishop was seen as the leading mathematician in the area of Constructive mathematics. From 1965 until his death, he was professor at the University of California at San Diego.

Links

PhilArchive



    Upload a copy of this work     Papers currently archived: 91,219

External links

Setup an account with your affiliations in order to access resources via your University's proxy server

Through your library

Similar books and articles

Foundations of Constructive Analysis.John Myhill - 1972 - Journal of Symbolic Logic 37 (4):744-747.
Did Bishop have a philosophy of mathematics?Helen Billinge - 2003 - Philosophia Mathematica 11 (2):176-194.
Varieties of constructive mathematics.D. S. Bridges - 1987 - New York: Cambridge University Press. Edited by Fred Richman.
Constructive Analysis.Errett Bishop & Douglas Bridges - 1987 - Journal of Symbolic Logic 52 (4):1047-1048.
Five papers on logic and foundations.G. S. Ceitin (ed.) - 1971 - Providence, R.I.,: American Mathematical Society.
Developments in constructive nonstandard analysis.Erik Palmgren - 1998 - Bulletin of Symbolic Logic 4 (3):233-272.
A constructive approach to nonstandard analysis.Erik Palmgren - 1995 - Annals of Pure and Applied Logic 73 (3):297-325.
A nonstandard proof of a lemma from constructive measure theory.David A. Ross - 2006 - Mathematical Logic Quarterly 52 (5):494-497.
A characterization of constructive dimension.Satyadev Nandakumar - 2009 - Mathematical Logic Quarterly 55 (2):185-200.
Questioning Constructive Reverse Mathematics.I. Loeb - 2012 - Constructivist Foundations 7 (2):131-140.

Analytics

Added to PP
2016-09-21

Downloads
66 (#237,149)

6 months
15 (#145,565)

Historical graph of downloads
How can I increase my downloads?

Citations of this work

Logical Pluralism.Jc Beall & Greg Restall - 2005 - Oxford, England: Oxford University Press. Edited by Greg Restall.
Abstract objects.Gideon Rosen - 2008 - Stanford Encyclopedia of Philosophy.
Pluralism and Proofs.Greg Restall - 2014 - Erkenntnis 79 (S2):279-291.
Why logical pluralism?Colin R. Caret - 2019 - Synthese 198 (Suppl 20):4947-4968.

View all 105 citations / Add more citations

References found in this work

No references found.

Add more references