Semantics Club 24 11 2000
Composition Theorems are tools which reduce sentences about a complex structure to sentences about its parts. A seminal example of such a result is the Feferman-Vaught Theorem (1959) which reduces the first-order theory of generalized products to the first order theory of its factors and the monadic second-order theory of index structure. In this talk I explain: