Compatibility of Shelah and Stupp's and Muchnik's iteration with fragments of monadic second order logic

Dietrich Kuske

We investigate the relation between the theory of the iterations in the sense of Shelah-Stupp and of Muchnik, resp., and the theory of the base structure for several logics. These…