A General Constructive Intermediate Value Theorem

Mathematical Logic Quarterly 35 (5):433-435 (1989)
  Copy   BIBTEX

Abstract

This article has no associated abstract. (fix it)

Categories

Keywords

Reprint years

DOI

10.1002/malq.19890350509

Links

PhilArchive



    Upload a copy of this work     Papers currently archived: 93,774

External links

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

Through your library

My notes

Similar books and articles

A General Constructive Intermediate Value Theorem.Douglas S. Bridges - 1989 - Zeitschrift fur mathematische Logik und Grundlagen der Mathematik 35 (5):433-435.
Review: Geoffrey Hellman, Constructive Mathematics and Quantum Mechanics: Unbounded Operators and the Spectral Theorem; Douglas S. Bridges, Constructive Mathematics and Unbounded Operators -- A Reply to Hellman; Geoffrey Hellman, Quantum Mechanical Unbounded Operators and Constructive Mathematics -- A Rejoinder to Bridges. [REVIEW]Boris A. Kushner - 1999 - Journal of Symbolic Logic 64 (1):397-398.
The binary expansion and the intermediate value theorem in constructive reverse mathematics.Josef Berger, Hajime Ishihara, Takayuki Kihara & Takako Nemoto - 2019 - Archive for Mathematical Logic 58 (1-2):203-217.
The intermediate value theorem in constructive mathematics without choice.Matthew Hendtlass - 2012 - Annals of Pure and Applied Logic 163 (8):1050-1056.
A Constructive Proof of a Theorem in Relevance Logic.Aleksandar Kron - 1985 - Mathematical Logic Quarterly 31 (25‐28):423-430.
A constructive proof of the Peter-Weyl theorem.B. Spitters & G. Coquand - 2005 - Mathematical Logic Quarterly 51 (4):351.
A Constructive Version of the Spectral Mapping Theorem.Douglas Bridges & Robin Havea - 2001 - Mathematical Logic Quarterly 47 (3):299-304.
Douglas Bridges and Fred Richman. Varieties of constructive mathematics. London Mathematical Society lecture note series, no. 97. Cambridge University Press, Cambridge etc. 1987, x + 149 pp. [REVIEW]D. van Dalen - 1991 - Journal of Symbolic Logic 56 (2):750-751.
Review: Errett Bishop, Douglas Bridges, Constructive Analysis. [REVIEW]Nicolas D. Goodman - 1987 - Journal of Symbolic Logic 52 (4):1047-1048.
Review: Douglas Bridges, Fred Richman, Varieties of Constructive Mathematics. [REVIEW]D. van Dalen - 1991 - Journal of Symbolic Logic 56 (2):750-751.

Analytics

Added to PP
2013-12-01

Downloads
14 (#264,824)

6 months
6 (#1,472,471)

Historical graph of downloads
How can I increase my downloads?

Citations of this work

No citations found.

Add more citations

References found in this work

Foundations of Constructive Analysis.John Myhill - 1972 - Journal of Symbolic Logic 37 (4):744-747.
Varieties of constructive mathematics.D. S. Bridges & Fred Richman - 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.

Add more references