The factorisation forest theorem
Thomas Colcombet · EMS Press eBooks · 2021
Abstract. This chapter is devoted to the presentation of the factorisation forest theorem, a deep result due to Simon, which provides advanced Ramsey-like arguments in the context of algebra, au-tomata, and logic. We present several proofs and several variants the result, as well as applications. 1