We study Ramsey like theorems for infinite trees and similar combinatorial tools. As an application we consider the expansion problem for tree algebras.

@article{paperbot4019,
  title = {The Expansion Problem for Infinite Trees},
  author = {Achim Blumensath},
  journal = {Logical Methods in Computer Science},
  volume = {Volume 22, Issue 1},
  year = {2026},
  doi = {10.46298/lmcs-22(1:20)2026}
}