𝔖 Bobbio Scriptorium
✦   LIBER   ✦

A General Constructive Intermediate Value Theorem

✍ Scribed by Douglas S. Bridges

Publisher
John Wiley and Sons
Year
1989
Tongue
English
Weight
180 KB
Volume
35
Category
Article
ISSN
0044-3050

No coin nor oath required. For personal study only.

✦ Synopsis

Proof. We first prove the paraconvexity of u ( X ) . Consider a, 6 , and y such that u(a) 5 y 5 u(b), and let E > 0. We use an approximate "approximate interval-28 Ztschr. f. math. Logik

πŸ“œ SIMILAR VOLUMES

A Definitive Constructive Open Mapping T
A Definitive Constructive Open Mapping Theorem?
✍ Douglas Bridges; Hajime Ishihara πŸ“‚ Article πŸ“… 1998 πŸ› John Wiley and Sons 🌐 English βš– 436 KB

It is proved, within Bishop's constructive mathematics (BISH), that, in the context of a Hilbert space, the Open Mapping Theorem is equivalent to a principle that holds in intuitionistic mathematics and recursive constructive mathematics but is unlikely to be provable within BISH.

A Constructive Proof of Gleason's Theore
A Constructive Proof of Gleason's Theorem
✍ Fred Richman; Douglas Bridges πŸ“‚ Article πŸ“… 1999 πŸ› Elsevier Science 🌐 English βš– 167 KB

Gleason's theorem states that any totally additive measure on the closed subspaces, or projections, of a Hilbert space of dimension greater than two is given by a positive operator of trace class. In this paper we give a constructive proof of that theorem.

A constructive version of Birkhoff's the
A constructive version of Birkhoff's theorem
✍ Jesper CarlstrΓΆm πŸ“‚ Article πŸ“… 2008 πŸ› John Wiley and Sons 🌐 English βš– 137 KB πŸ‘ 1 views

## Abstract A version of Birkhoff's theorem is proved by constructive, predicative, methods. The version we prove has two conditions more than the classical one. First, the class considered is assumed to contain a generic family, which is defined to be a set‐indexed family of algebras such that if

A general converse theorem for mean-valu
A general converse theorem for mean-value theorems in linear elasticity
✍ Dorina Mitrea; Heather Rosenblatt πŸ“‚ Article πŸ“… 2006 πŸ› John Wiley and Sons 🌐 English βš– 121 KB

We prove a rather general mean-value formula in the theory of elasticity, which expresses the value of the displacement at the centre of a sphere in terms of certain combinations of integral averages over the sphere itself of the traction and the displacement. We also establish the corresponding con

An intermediate value theorem for graphs
An intermediate value theorem for graphs with given automorphism group
✍ Pavol Hell; Louis V. Quintas πŸ“‚ Article πŸ“… 1979 πŸ› John Wiley and Sons 🌐 English βš– 312 KB

## Abstract For a positive integer __n__ and a finite group __G__, let the symbols __e__(__G, n__) and __E__(__G, n__) denote, respectively, the smallest and the greatest number of lines among all __n__‐point graphs with automorphism group __G__. We say that the Intermediate Value Theorem (IVT) hol