Ramsey theorem for trees with successor operation

Martin Balko, David Chodounský, Natasha Dobrinen +4

We prove a general Ramsey theorem for trees with a successor operation. This theorem is a common generalization of the Carlson-Simpson Theorem and the Milliken Tree Theorem for reg…