# Model-theoretic complexity of automatic structures

@article{Khoussainov2009ModeltheoreticCO,
title={Model-theoretic complexity of automatic structures},
journal={Ann. Pure Appl. Log.},
year={2009},
volume={161},
pages={416-426}
}
• Published 2009
• Mathematics, Computer Science
• Ann. Pure Appl. Log.
We study the complexity of automatic structures via well-established concepts from both logic and model theory, including ordinal heights (of well-founded relations), Scott ranks of structures, and Cantor-Bendixson ranks (of trees). We prove the following results: 1) The ordinal height of any automatic well-founded partial order is bounded by ωω; 2) The ordinal heights of automatic well-founded relations are unbounded below (ω1CK ; 3) For any infinite computable ordinal α, there is an automatic… Expand
23 Citations

#### Topics from this paper

Computability and complexity properties of automatic structures and their applications
• Mathematics
• 2008
Finite state automata are Turing machines with fixed finite bounds on resource use. Automata lend themselves well to real-time computations and efficient algorithms. Continuing a tradition ofExpand
Tree-Automatic Well-Founded Trees
• Mathematics, Computer Science
• Log. Methods Comput. Sci.
• 2013
It is shown that the isomorphism problem for tree-automatic well-founded trees is complete for level Delta^0_{omega^omega} of the hyperarithmetical hierarchy with respect to Turing-reductions. Expand
Tree-Automatic Well-Founded Trees
• Mathematics, Computer Science
• CiE
• 2012
It is shown that the isomorphism problem for tree-automatic well-founded trees is complete for level $\Delta^0_{\omega^ \omega}$ of the hyperarithmetical hierarchy (under Turing-reductions). Expand
AUTOMATIC AND POLYNOMIAL-TIME ALGEBRAIC STRUCTURES
• Computer Science, Mathematics
• The Journal of Symbolic Logic
• 2019
This paper shows that the set of Turing machines that represent automata-presentable structures is ${\rm{\Sigma }}_1^1$-complete and uses similar methods to show that there is no reasonable characterisation of the structures with a polynomial-time presentation in the sense of Nerode and Remmel. Expand
The isomorphism problem on classes of automatic structures with transitive relations
• Mathematics
• 2013
Automatic structures are finitely presented structures where the universe and all relations can be recognized by finite automata. It is known that the isomorphism problem for automatic structures isExpand
The Field of the Reals and the Random Graph are not Finite-Word Ordinal-Automatic
This work lifts Delhomm\'e's relative-growth-technique from the automatic and tree-automatic setting to the ordinal- automatic setting, which implies that the random graph is not Ordinal-automatic and infinite integral domains are not ordinals below $\omega_1+\omega^ \omega$ where $\omegas_1$ is the first uncountable ordinal. Expand
Analysing Complexity in Classes of Unary Automatic Structures
• Mathematics, Computer Science
• LATA
• 2009
This paper addresses the time complexity of several queries in classes of unary automatic structures and the state complexity of describing these classes and proves that in various senses, the complexity of these classes is low. Expand
Tree-automatic scattered linear orders
• Computer Science, Mathematics
• Theor. Comput. Sci.
• 2016
It is shown that there is no tree-automatic scattered linear order, and therefore no tree's automatic well-order, on the set of all finite labeled trees, and that a regular tree language admits a tree- automatic scattered linear orders if and only if for some n, no binary tree of height n can be embedded into the union of the domains of its trees. Expand
Pumping for ordinal-automatic structures
• Mathematics, Computer Science
• Comput.
• 2017
A pumping lemma for alpha-automata (processing finite alpha-words, i.e., words of length alpha that have one fixed letter at all but finitely many positions) is developed and a sharp bound on the height of the finite word alpha-automatic well-founded order forests is provided. Expand
From Automatic Structures to Borel Structures
• Mathematics, Computer Science
• 2008 23rd Annual IEEE Symposium on Logic in Computer Science
• 2008
Borel structures are introduced and some of the basic properties of Borel sets and isomorphisms are used to answer the isomorphism problem for Buchi automatic structures. Expand

#### References

SHOWING 1-10 OF 55 REFERENCES
Automatic structures
• Computer Science
• Proceedings Fifteenth Annual IEEE Symposium on Logic in Computer Science (Cat. No.99CB36332)
• 2000
This work determines the complexity of model checking and query evaluation on automatic structures for fragments of first-order logic and gives model-theoretic characterisations for automatic structures via interpretations. Expand
On automatic partial orders
• Mathematics, Computer Science
• 18th Annual IEEE Symposium of Logic in Computer Science, 2003. Proceedings.
• 2003
It is shown that every infinite path in an automatic tree with countably many infinite paths is a regular language. Expand
Automatic linear orders and trees
• Mathematics, Computer Science
• TOCL
• 2005
It is shown that every infinite path in an automatic tree with countably many infinite paths is a regular language. Expand
Computable structures of Scott rank ω CK 1 in familiar classes
• 2005
There are familiar examples of computable structures having various computable Scott ranks. There are also familiar structures, such as the Harrison ordering, that have Scott rank ω 1 + 1. MakkaiExpand
Recursive pseudo-well-orderings
Introduction. This paper is devoted to a study of recursive linear orderings which have no hyperarithmetic descending sequences and hierarchies on these orderings. In the first section we discuss aExpand
Decidability of second-order theories and automata on infinite trees
Introduction. In this paper we solve the decision problem of a certain secondorder mathematical theory and apply it to obtain a large number of decidability results. The method of solution involvesExpand
Models and Computability: Effective Model Theory: The Number of Models and Their Complexity
• Mathematics
• 1999
Effective model theory studies model theoretic notions with an eye towards issues of computability and effectiveness. We consider two possible starting points. If the basic objects are taken to beExpand
Automatic structures: richness and limitations
• Computer Science, Mathematics
• Proceedings of the 19th Annual IEEE Symposium on Logic in Computer Science, 2004.
• 2004
It is proven that the free Abelian group of infinite rank and many Fraisse limits do not have automatic presentations, and the complexity of the isomorphism problem for the class of all automatic structures is /spl Sigma//sub 1//sup 1/-complete. Expand
Computable Structure and Non-Structure Theorems
• Mathematics
• 2002
In a lecture in Kazan (1977), Goncharov dubbed a number of problems regarding the classification of computable members of various classes of structures. Some of the problems seemed likely to haveExpand
Tree extension algebras: logics, automata, and query languages
• Mathematics, Computer Science
• Proceedings 17th Annual IEEE Symposium on Logic in Computer Science
• 2002
It is shown that from a formula one can generate a tree automaton that accepts the set of tuples of trees defined by the formula, and conversely that every automaton over tree-tuples is captured by such a formula. Expand