scientific article; zbMATH DE number 3325567

zbMath0205.01201MaRDI QIDQ5604461

Errett Bishop

Publication date: 1970

Title: zbMATH Open Web Interface contents unavailable due to conflicting licenses.

Mathematics Subject Classification ID

Constructive and recursive analysis (03F60) Other constructive mathematics (03F65)

Related Items

The Urysohn Extension Theorem for Bishop Spaces, Proof-relevance in Bishop-style constructive mathematics, A Minimalist Foundation at Work, Direct spectra of Bishop spaces and their limits, Unnamed Item, A Note on the Internal Logic of Constructive Mathematics: The Gel’fond-Schneider Theorem in Transcendental Number Theory, To be or not to be constructive, that is not the question, On computational properties of Cauchy problems generated by accretive operators, Constructive system for automatic program synthesis, Constructivist and structuralist foundations: Bishop's and Lawvere's theories of sets, A Constructive Ergodic Theorem, Functional interpretations of feasibly constructive arithmetic, Unnamed Item, Unnamed Item, Constructive Mathematics and Functional Programming (Abstract), Reverse formalism 16, Markov's constructive analysis; a participant's view, A Computational Interpretation of Forcing in Type Theory, Constructive algebraic integration theory, Propositions and specifications of programs in Martin-Löf's type theory, A selected bibliography on constructive mathematics, intuitionistic type theory and higher order deduction