Achim Blumensath - The Expansion Problem for Infinite Trees

lmcs:12266 - Logical Methods in Computer Science, March 6, 2026, Volume 22, Issue 1 - https://doi.org/10.46298/lmcs-22(1:20)2026
The Expansion Problem for Infinite TreesArticle

Authors: Achim Blumensath

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


    Volume: Volume 22, Issue 1
    Published on: March 6, 2026
    Accepted on: January 16, 2026
    Submitted on: September 13, 2023
    Keywords: Formal Languages and Automata Theory