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. © 2002 Academic Press.
CITATION STYLE
Argyros, S. A., Felouzis, V., & Kanellopoulos, V. (2002). A proof of Halpern-Läuchli partition theorem. European Journal of Combinatorics, 23(1), 1–10. https://doi.org/10.1006/eujc.2001.0542
Mendeley helps you to discover research relevant for your work.