A Dual Ramsey theorem for trees

TL;DR

This paper extends the Graham--Rothschild Theorem to the setting of homogeneous trees, providing a dual version that broadens the theorem's applicability in combinatorics.

Contribution

It introduces a dualization of the Graham--Rothschild Theorem specifically for variable words indexed by homogeneous trees, a novel theoretical development.

Findings

Established a dual Ramsey theorem for trees

Generalized the Graham--Rothschild framework

Potential applications in combinatorics and logic

Abstract

We prove a dualization of the Graham--Rothschild Theorem for variable words indexed by homogeneous trees.