✦ LIBER ✦

A computable version of Banach’s Inverse Mapping Theorem

✍ Scribed by Vasco Brattka

Publisher: Elsevier Science
Year: 2009
Tongue: English
Weight: 746 KB
Volume: 157
Category: Article
ISSN: 0168-0072
DOI: 10.1016/j.apal.2008.09.002

No coin nor oath required. For personal study only.

📜 SIMILAR VOLUMES

A new version of the Hahn-Banach theorem

✍ S. Simons 📂 Article 📅 2003 🏛 Springer 🌐 English ⚖ 152 KB

A Constructive Version of the Spectral M

A Constructive Version of the Spectral Mapping Theorem

✍ Douglas Bridges; Robin Havea 📂 Article 📅 2001 🏛 John Wiley and Sons 🌐 English ⚖ 125 KB 👁 2 views

A Banach space version of Okada's theore

A Banach space version of Okada's theorem on summability of power series

✍ W. Gawronski; B. L. R. Shawyer; R. Trautner 📂 Article 📅 1980 🏛 Springer Netherlands 🌐 English ⚖ 366 KB

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 mixed version of Menger's theorem

✍ Yoshimi Egawa; Atsushi Kaneko; Makoto Matsumoto 📂 Article 📅 1991 🏛 Springer-Verlag 🌐 English ⚖ 223 KB

A Quantum Version of Sanov's Theorem

✍ Igor Bjelaković; Jean-Dominique Deuschel; Tyll Krüger; Ruedi Seiler; Rainer Sieg 📂 Article 📅 2005 🏛 Springer 🌐 English ⚖ 194 KB