Definability in the structure of words with the inclusion relation

DOI10.1007/s11202-010-0047-yzbMath1209.03027OpenAlexW2072741596MaRDI QIDQ606049

Oleg V. Kudinov, Lyudmila V. Yartseva, Victor L. Selivanov

Publication date: 15 November 2010

Published in: Siberian Mathematical Journal (Search for Journal in Brave)

Full work available at URL: https://doi.org/10.1007/s11202-010-0047-y

zbMATH Keywords

automorphismfirst-order theorydefinabilitysubwordleast fixed pointbi-interpretabilityinfix order

Mathematics Subject Classification ID

Interpolation, preservation, definability (03C40) Model theory of ordered structures; o-minimality (03C64)

Related Items

On the main scientific achievements of Victor Selivanov

Cites Work

• Elementary induction on abstract structures
• The theory of well-quasi-ordering: a frequently discovered concept
• Theories of orders on the set of words
• A Gandy Theorem for Abstract Structures and Applications to First-Order Definability
• Definability in the Infix Order on Words
• Ordering by Divisibility in Abstract Algebras
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item