✦ LIBER ✦

An Intuitionistic Version of Cantor's Theorem

✍ Scribed by Dario Maguolo; Silvio Valentini

Publisher: John Wiley and Sons
Year: 1996
Tongue: English
Weight: 163 KB
Volume: 42
Category: Article
ISSN: 0044-3050
DOI: 10.1002/malq.19960420136

No coin nor oath required. For personal study only.

✦ Synopsis

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.

📜 SIMILAR VOLUMES

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.

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

Elements of Intuitionistic Analysis II t

Elements of Intuitionistic Analysis II the Stone-Weierstrass Theorem and Ascoli's Theorem

✍ H. de Swart 📂 Article 📅 1976 🏛 John Wiley and Sons 🌐 English ⚖ 424 KB 👁 2 views

Multivariate Versions of Cochran′s Theor

Multivariate Versions of Cochran′s Theorems II

✍ C.S. Wong; T.H. Wang 📂 Article 📅 1993 🏛 Elsevier Science 🌐 English ⚖ 336 KB

A general easily checkable Cochran theorem is obtained for a normal random operator \(Y\). This result does not require that the covariance, \(\Sigma_{\mathbf{r}}\), of \(Y\) is nonsingular or is of the usual form \(A \otimes 2\); nor does it assume that the mean. \(\mu\). of \(Y\) is equal to zero.

Towards an Effective Version of a Theore

Towards an Effective Version of a Theorem of Stafford

✍ Andre Hillebrand; Wiland Schmale 📂 Article 📅 2001 🏛 Elsevier Science 🌐 English ⚖ 317 KB

A classical theorem of Stafford says: every left ideal of partial differential operators with rational or even polynomial coefficients in n variables can be generated by two elements. The highly involved proof of this theorem is reorganized and completed for rational coefficients in order to yield a

An Infinite Dimensional Version of the K

An Infinite Dimensional Version of the Kostant Convexity Theorem

✍ Andreas Neumann 📂 Article 📅 2002 🏛 Elsevier Science 🌐 English ⚖ 344 KB

In this paper we generalize the linear Kostant Convexity Theorem to Lie algebras of bounded linear operators on a Hilbert space: If t is a Cartan subspace of one of the hermitian real forms h(H), ho(I c ), hsp(I a ), p t is the projection on t, U the corresponding unitary group and W the correspondi