A Dual Ramsey theorem for trees

2022/07/29 by Stevo Todorčević, Todorcevic, Stevo, Konstantinos Tyros +1
Mathematics · Computer Science · #Advanced Topology and Set Theory #semigroups and automata theory #Computability, Logic, AI Algorithms

paper · pdf · doi:10.48550/arxiv.2207.14599

Abstract

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

Related

• Dual Ramsey theorem for trees
• Ramsey theorem for trees with successor operation
• Abstract approach to Ramsey theory and Ramsey theorems for finite trees
• On factorisation forests
• A Ramsey theorem for pairs in trees