A proof of Halpern-Läuchli partition theorem

Abstract

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.