This talk corresponds to a joint work with Olivier Carton and Gabriele Puppis and provides a prolongation of the previous seminar. The subject wil be the algebraic approach to monadic second order logic over infinite words. We will in particular show how this notion of recognition is equivalent to the logic. This techniques provide at the same time a collapse of the logic to the one with only one alternation of monadic quantifiers.