nLab Foundations of Constructive Analysis

This pages compiles material related to the book

• Errett Bishop,

  Foundations of Constructive Analysis

  McGraw-Hill (1967)

  [p. ix:] This book is a piece of constructivist propaganda, designed to show that there does exist a satisfactory algebrative [to classical mathematics]. To this end we develop a large portion of abstract analysis within a constructive framework.

revised as

• Errett Bishop, Douglas Bridges:

  Constructive analysis

  Grundlehren der mathematischen Wissenschaften 279,

  Springer (1985)

  [doi:10.1007/978-3-642-61667-9]

on the foundations of constructive mathematics in general (cf. Bishop's constructive mathematics) and on constructive analysis in particular.