Elementary Definability of the Class of Universal Planar Automata in the Class of Semigroups

被引：0
作者：
V. A. Molchanov
机构：
[1] Chernyshevskii Saratov State University,
来源：
Siberian Mathematical Journal | 2019年 / 60卷
关键词：
elementary definability; automaton; plane; semigroup; elementary classification;
D O I：
暂无
中图分类号：
学科分类号：
摘要：
Universal planar automata are universal attracting objects in the category of semigroup automata whose set of states and set of output signals are equipped with algebraic structures of the planes that are invariant under the actions of the transition and output functions. We establish the elementary definability of the class of universal planar automata in the class of semigroups and study the problem of the elementary classification of universal planar automata with the use of first-order theories of input signal semigroups of these automata.
引用
收藏
页码：1089 / 1098
页数：9
相关论文
共 14 条
[1]  
Pinus A G(2002)On the elementary equivalence of derived structures of free lattices Russian Math. (Iz. VUZ) 46 42-45
[2]  
Pinus A G(2004)Elementary equivalence of derived structures of free semigroups, unars, and groups Algebra and Logic 43 408-417
[3]  
Pinus A G(2008)Elementary equivalence for the lattices of subalgebras and automorphism groups of free algebras Sib. Math. J. 49 692-695
[4]  
Vazhenin Y M(1970)Elementary properties of semigroups of transformations of ordered sets Algebra and Logic 9 169-179
[5]  
Gluskin L M(1961)Semigroups of isotone transformations Uspekhi Mat. Nauk 16 157-162
[6]  
Gluskin L M(1959)Semigroups and rings of endomorphisms of linear spaces Izv. Akad. Nauk SSSR Ser. Mat. 23 841-870
[7]  
Pinus A G(2005)Elementary classification and decidability of theories of derived structures Russian Math. Surveys 60 395-432
[8]  
Vazhenin Y M(2006)Elementary equivalence of endomorphism rings of Abelian p-groups J. Math. Sci. (N. Y.) 137 5212-5274
[9]  
Bunina E I(1983)Semigroups of mappings on graphs Semigroup Forum 27 155-199
[10]  
Mikhalev A V(2011)A universal planar automaton is determined by its semigroup of input symbols Semigroup Forum 82 1-9
12