Sciweavers

CORR
2008
Springer
104views Education» more  CORR 2008»
13 years 11 months ago
Compatibility of Shelah and Stupp's and Muchnik's iteration with fragments of monadic second order logic
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 ...
Dietrich Kuske