A Solution of a Finitely Dimensional Harrington Problem for Cantor Set

Abstract

In this paper we are exploring application of fusion lemma - a result about perfect trees, having its origin in forcing theory - to some special cases of a problem proposed by Leo Harrington in a book Analytic Sets. In all generality the problem ask whether given a sequence of functions from Rω to [0; 1] one can find a subsequence of it that is pointwise convergent on a product of perfect subsets of R. We restrict our attention mainly to binary functions on the Cantor set as well as outline the possible direction of generalization of result to other topological spaces and different notions of measurablity.