Dual Ramsey theorem for trees (Q6057486): Difference between revisions

The aim of the present paper is to prove the Dual Ramsey Theorem for Trees, which is a common strengthening of two classical results -- Leeb's Ramsey theorem for trees and Graham and Rothschild's Dual Ramsey Theorem. It should be noted that the first one of these theorems is formulated in terms of copies of trees, and the second one in terms of partitions of finite initial segments of natural numbers. The author finds objects that generalize both: copies of trees and partitions. To this end, the two classical Ramsey theorems are restated in terms of functions. Their common generalization is then formulated using functions that turn out to come from appropriately modified Galois connections in the sense of \textit{O. Ore} [Trans. Am. Math. Soc. 55, 493--514 (1944; Zbl 0060.06204)]. This generalization, which is the main theorem of the paper, is then proved with the use of the author's abstract approach to the Ramsey theory from \textit{S. Solecki} [Adv. Math. 248, 1156--1198 (2013; Zbl 1283.05176)].