Abstract. We compare classes of finite relational structures via monadic second-order transductions. More precisely, we study the preorder where we set C ⊑ K if, and only if, there exists a transduction τ such that C ⊆ τ (K). If we only consider classes of incidence structures we can completely describe the resulting hierarchy. It is linear of order type ω+3. Each level can be characterised in terms of a suitable variant of tree-width. Canonical representatives of the various levels are: the class of all trees of height n, for each n ∈ N, of all paths, of all trees, and of all grids.
Aiming for applications in monadic second-order model theory, we study first-order theories without definable pairing functions. Our main results concern forking-properties of sequences of indiscernibles. These turn out to be very well-behaved for the theories under consideration.
scite is a Brooklyn-based organization that helps researchers better discover and understand research articles through Smart Citations–citations that display the context of the citation and describe whether the article provides supporting or contrasting evidence. scite is used by students and researchers from around the world and is funded in part by the National Science Foundation and the National Institute on Drug Abuse of the National Institutes of Health.