Transforming structures by set interpretations

We consider a new kind of interpretation over relational structures: finite sets interpretations. Those interpretations are defined by weak monadic second-order (WMSO) formulas with free set variables. They transform a given structure into a structure with a domain consisting of finite sets of elements of the orignal structure. The definition of these interpretations directly implies that they send structures with a decidable WMSO theory to structures with a decidable first-order theory. In this paper, we investigate the expressive power of such interpretations applied to infinite deterministic trees. The results can be used in the study of automatic and tree-automatic structures.Comment: 36 page

Automatic structures of bounded degree revisited

The first-order theory of a string automatic structure is known to be decidable, but there are examples of string automatic structures with nonelementary first-order theories. We prove that the first-order theory of a string automatic structure of bounded degree is decidable in doubly exponential space (for injective automatic presentations, this holds even uniformly). This result is shown to be optimal since we also present a string automatic structure of bounded degree whose first-order theory is hard for 2EXPSPACE. We prove similar results also for tree automatic structures. These findings close the gaps left open in a previous paper of the second author by improving both, the lower and the upper bounds.Comment: 26 page

The model-theoretic complexity of automatic linear orders

Automatic structures are—possibly infinite—structures which are finitely presentable by means of finite automata on strings or trees. Largely motivated by the fact that their first-order theories are uniformly decidable, automatic structures gained a lot of attention in the "logic in computer science" community during the last fifteen years. This thesis studies the model-theoretic complexity of automatic linear orders in terms of two complexity measures: the finite-condensation rank and the Ramsey degree. The former is an ordinal which indicates how far a linear order is away from being dense. The corresponding main results establish optimal upper bounds on this rank with respect to several notions of automaticity. The Ramsey degree measures the model-theoretic complexity of well-orders by means of the partition relations studied in combinatorial set theory. This concept is investigated in a purely set-theoretic setting as well as in the context of automatic structures.Auch im Buchhandel erhältlich: The model-theoretic complexity of automatic linear orders / Martin Huschenbett Ilmenau : Univ.-Verl. Ilmenau, 2016. - xiii, 228 Seiten ISBN 978-3-86360-127-0 Preis (Druckausgabe): 16,50

Semi−synchronous transductions

Semi-synchronously rational relations generalise synchronised rational relations in a natural way. We discuss here some of their basic properties, among them a \"Cobham-Semenov-like\" dichotomy theorem. Our main result is a characterisation of bijective semi-synchronously rational transductions as those bijections mapping regular relations to regular ones and non-regular relations to non-regular ones

Semi−synchronous transductions

Semi-synchronously rational relations generalise synchronised rational relations in a natural way. We discuss here some of their basic properties, among them a \"Cobham-Semenov-like\" dichotomy theorem. Our main result is a characterisation of bijective semi-synchronously rational transductions as those bijections mapping regular relations to regular ones and non-regular relations to non-regular ones

Invariants of Automatic Presentations and Semi−Synchronous Transductions

Automatic structures are countable structures finitely presentable by a collection of automata. We study questions related to properties invariant with respect to the choice of an automatic presentation. We give a negative answer to a question of Rubin concerning definability of intrinsically regular relations by showing that order-invariant first-order logic can be stronger than first-order logic with counting on automatic structures. We introduce a notion of equivalence of automatic presentations, define semi-synchronous transductions, and show how these concepts correspond. Our main result is that a one-to-one function on words preserves regularity as well as non-regularity of all relations iff it is a semi-synchronous transduction. We also characterize automatic presentations of the complete structures of Blumensath and Gr�del

Invariants of Automatic Presentations and Semi−Synchronous Transductions

Automatic structures are countable structures finitely presentable by a collection of automata. We study questions related to properties invariant with respect to the choice of an automatic presentation. We give a negative answer to a question of Rubin concerning definability of intrinsically regular relations by showing that order-invariant first-order logic can be stronger than first-order logic with counting on automatic structures. We introduce a notion of equivalence of automatic presentations, define semi-synchronous transductions, and show how these concepts correspond. Our main result is that a one-to-one function on words preserves regularity as well as non-regularity of all relations iff it is a semi-synchronous transduction. We also characterize automatic presentations of the complete structures of Blumensath and Gr�del

Invariants of Automatic Presentations and Semi-Synchronous Transductions With Appendix

Automatic structures are countable structures finitely presentable by a collection of automata. We study questions related to properties invariant with respect to the choice of an automatic presentation. We give