𝔖 Bobbio Scriptorium
✦   LIBER   ✦

Strong transfinite version of König's duality theorem

✍ Scribed by R. A. Brualdi

Publisher
Springer Vienna
Year
1971
Tongue
English
Weight
205 KB
Volume
75
Category
Article
ISSN
0026-9255

No coin nor oath required. For personal study only.

📜 SIMILAR VOLUMES

An Effective Version of Belyi's Theorem
An Effective Version of Belyi's Theorem
✍ Lily S. Khadjavi 📂 Article 📅 2002 🏛 Elsevier Science 🌐 English ⚖ 216 KB

We compute bounds on covering maps that arise in Belyi's Theorem. In particular, we construct a library of height properties and then apply it to algorithms that produce Belyi maps. Such maps are used to give coverings from algebraic curves to the projective line ramified over at most three points.

An Intuitionistic Version of Cantor's Th
An Intuitionistic Version of Cantor's Theorem
✍ Dario Maguolo; Silvio Valentini 📂 Article 📅 1996 🏛 John Wiley and Sons 🌐 English ⚖ 163 KB 👁 1 views

An intuitionistic version of Cantor's theorem, which shows that there is no surjective function from the type of the natural numbers Af into the type N + h/ of the functions from N into N, is proved within Martin-Lijf's Intuitionistic Type Theory with the universe of the small types.

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
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
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