✦ LIBER ✦

Constructive formalization of the Tennenbaum theorem and its applications

✍ Scribed by V. E. Plisko

Publisher: SP MAIK Nauka/Interperiodica
Year: 1990
Tongue: English
Weight: 518 KB
Volume: 48
Category: Article
ISSN: 0001-4346
DOI: 10.1007/bf01157440

No coin nor oath required. For personal study only.

📜 SIMILAR VOLUMES

A theorem on the transcendency and its a

A theorem on the transcendency and its applications

✍ Xiuyuan Yu 📂 Article 📅 1997 🏛 SP Science China Press 🌐 English ⚖ 264 KB

Stability of Radon-Nikodym theorem and i

Stability of Radon-Nikodym theorem and its applications

✍ Khoang Kh¯yu N'y 📂 Article 📅 1986 🏛 Springer US 🌐 English ⚖ 159 KB

A generalization of the Alaoglu-Bourbaki

A generalization of the Alaoglu-Bourbaki theorem and its applications

✍ Ky Fan 📂 Article 📅 1965 🏛 Springer-Verlag 🌐 French ⚖ 689 KB

The fibre-cofibre construction and its a

The fibre-cofibre construction and its applications

✍ Y. Felix; J.C. Thomas 📂 Article 📅 1988 🏛 Elsevier Science 🌐 English ⚖ 581 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 constructive proof of the Peter-Weyl t

A constructive proof of the Peter-Weyl theorem

✍ Thierry Coquand; Bas Spitters 📂 Article 📅 2005 🏛 John Wiley and Sons 🌐 English ⚖ 137 KB 👁 1 views

We present a new and constructive proof of the Peter-Weyl theorem on the representations of compact groups. We use the Gelfand representation theorem for commutative C\*-algebras to give a proof which may be seen as a direct generalization of Burnside's algorithm [3]. This algorithm computes the cha