✦ LIBER ✦

A constructive topological proof of van der Waerden's theorem

✍ Scribed by Thierry Coquand

Publisher: Elsevier Science
Year: 1995
Tongue: English
Weight: 670 KB
Volume: 105
Category: Article
ISSN: 0022-4049
DOI: 10.1016/0022-4049(94)00148-0

No coin nor oath required. For personal study only.

📜 SIMILAR VOLUMES

A quintessential proof of van der Waerde

A quintessential proof of van der Waerden's theorem on arithmetic progressions

✍ George Mills 📂 Article 📅 1983 🏛 Elsevier Science 🌐 English ⚖ 362 KB

A particularly well suited induction hypothesis is employed to give a short and relatively direct formulation of van der Waerden's argument which establishes that for any partition of the natural numbers into two classes, one of the classes contains arbitrarily long arithmetic progressions.

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 proof of Vizing's theorem

✍ J. Misra; David Gries 📂 Article 📅 1992 🏛 Elsevier Science 🌐 English ⚖ 244 KB

Notes on Egoritsjev's proof of the van d

Notes on Egoritsjev's proof of the van der Waerden conjecture

✍ J.H. van Lint 📂 Article 📅 1981 🏛 Elsevier Science 🌐 English ⚖ 446 KB

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

A Constructive Proof of a Theorem in Rel

A Constructive Proof of a Theorem in Relevance Logic

✍ Aleksandar Kron 📂 Article 📅 1985 🏛 John Wiley and Sons 🌐 English ⚖ 461 KB 👁 1 views

In this paper we investigate a propositional systeni L related t o T,-W of relevance logic. It has been conjectured that for any formulas A and B