𝔖 Bobbio Scriptorium
✦   LIBER   ✦

A Proof of Halpern–Läuchli Partition Theorem

✍ Scribed by S.A. Argyros; V. Felouzis; V. Kanellopoulos

Publisher
Elsevier Science
Year
2002
Tongue
English
Weight
116 KB
Volume
23
Category
Article
ISSN
0195-6698

No coin nor oath required. For personal study only.

✦ Synopsis

A proof of the Halpern-Läuchli partition theorem and its version for strong subtrees is given. We prove a general statement which has, as an immediate consequence, the above-mentioned results. The proof of this is direct and avoids metamathematical arguments. Some consequences for partitions of finite products of metric spaces are also presented.

📜 SIMILAR VOLUMES

A Computer Proof of a Polynomial Identit
A Computer Proof of a Polynomial Identity Implying a Partition Theorem of Göllnitz
✍ Alexander Berkovich; Axel Riese 📂 Article 📅 2002 🏛 Elsevier Science 🌐 English ⚖ 117 KB

In this paper we give a computer proof of a new polynomial identity, which extends a recent result of Alladi and the first author. In addition, we provide computer proofs for new finite analogs of Jacobi and Euler formulas. All computer proofs are done with the aid of the new computer algebra packag

A Proof of Shirshov's Theorem
A Proof of Shirshov's Theorem
✍ Giuseppe Pirillo 📂 Article 📅 1996 🏛 Elsevier Science 🌐 English ⚖ 188 KB

Sane copiosam tu et uberem messem ex hoc agro collegisti, nos pauculas spicas contemptas tibi potius quam non visas. Triumphus igutur hic omnis tuus est: mihi abunde satis si armillis aut hasta donatus, sequar hunc candidae famae tuae currum. wJustus Lipsius In this paper we prove that, except fo

A simple proof of Moser's theorem
A simple proof of Moser's theorem
✍ Zhu, Xuding 📂 Article 📅 1999 🏛 John Wiley and Sons 🌐 English ⚖ 243 KB 👁 2 views

This article gives a simple proof of a result of Moser, which says that, for any rational number r between 2 and 3, there exists a planar graph G whose circular chromatic number is equal to r.

A new proof of menger's theorem
A new proof of menger's theorem
✍ Peter V. O'Neil 📂 Article 📅 1978 🏛 John Wiley and Sons 🌐 English ⚖ 134 KB 👁 1 views

## Abstract A new proof of Menger's theorem is presented.