The factorisation forest theorem

Abstract

5 Abstract. This chapter is devoted to the presentation of the factorisa tion 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.