Three Lectures on Automatic Structures

zbMath1228.03017arXiv0809.3430MaRDI QIDQ3079695

Mia Minnes, Bakhadyr Khoussainov

Publication date: 2 March 2011

Full work available at URL: https://arxiv.org/abs/0809.3430

zbMATH Keywords

computable structures; Borel structure; tree automatic structure; Büchi automatic structure; Rabin automatic structure

Mathematics Subject Classification ID

03E15: Descriptive set theory

03D05: Automata and formal grammars in connection with logical questions

03C57: Computable structure theory, computable model theory

Related Items

AUTOMATIC AND POLYNOMIAL-TIME ALGEBRAIC STRUCTURES, Tree-automatic scattered linear orders, On automaton presentations of projective planes, Automatic learning of subclasses of pattern languages, Learning pattern languages over groups, From automatic structures to automatic groups., Effective categoricity of automatic equivalence and nested equivalence structures, Online presentations of finitely generated structures, The isomorphism problem for tree-automatic ordinals with addition, On the width of regular classes of finite structures, On decidability of list structures, Deciding the isomorphism problem in classes of unary automatic structures, Cayley Automatic Groups and Numerical Characteristics of Turing Transducers, Learning Pattern Languages over Groups, Automata on Ordinals and Linear Orders, Analysing Complexity in Classes of Unary Automatic Structures