Abstract
We develop a theory of (first-order) definability in the subword partial order in parallel with similar theories for the h-quasiorder of finite k-labeled forests and for the infix order. In particular, any element is definable (provided that the words of length 1 or 2 are taken as parameters), the first-order theory of the structure is atomic and computably isomorphic to the first-order arithmetic. We also characterize the automorphism group of the structure and show that every predicate invariant under the automorphisms of the structure is definable in the structure.
Similar content being viewed by others
References
Lothaire M., Combinatorics on Words. Cambridge Mathematical Library, Cambridge Univ. Press, Cambridge (1997).
Kuske D., “Theories of orders on the set of words,” RAIRO Theor. Inform. Appl., 40, No. 1, 53–74 (2006).
Higman G., “Ordering by divisibility in abstract algebras,” Proc. London Math. Soc., 3, 326–336 (1952).
Kruskal J. B., “The theory of well-quasi-ordering: a frequently discovered concept,” J. Combin. Theory Ser. A, 13, 297–305 (1972).
Glasser C. and Schmitz H., “The Boolean structure of dot-depth one,” J. Autom. Lang. Comb., No. 6, 437–452 (2001).
Selivanov V. L., “A logical approach to decidability of hierarchies of regular star-free languages,” in: Proceedings of the Conference of STACS-2001, Springer-Verlag, Berlin, 2001, pp. 539–550 (Lecture Notes Comput. Sci.; 2010).
Kudinov O. V. and Selivanov V. L., “A Gandy theorem for abstract structures and applications to first-order definability,” in: Proceedings of CiE-2009, Springer-Verlag, Berlin, 2009, pp. 290–299 (Lecture Notes Comput. Sci.; 5635).
Kudinov O. V. and Selivanov V. L., “Definability in the infix order on words,” in: Proceedings of DLT-2009, Springer-Verlag, Berlin, 2009, pp. 454–465 (Lecture Notes Comput. Sci.; 5583).
Nies A., “Definability in the c.e. degrees: questions and results,” in: Computability Theory and Its Applications, Univ. of Colorado, 2000, pp. 207–213 (Contemp. Math.; 257).
Moschovakis Y., Elementary Induction on Abstract Structures, North-Holland, Amsterdam (1974).
Barwise J., Admissible Sets and Structures, Springer-Verlag, Berlin (1975).
Ershov Yu. L., Definability and Computability [in Russian], Nauchnaya Kniga, Novosibirsk (1996).
Hodges W., Model Theory, Cambridge Univ. Press, Cambridge (1993).
Author information
Authors and Affiliations
Corresponding author
Additional information
Original Russian Text Copyright © 2010 Kudinov O. V., Selivanov V. L., and Yartseva L. V.
The first and second authors were supported by the DFG-RFBR (Grants 436 RUS 113/1002/01 and 09-01-91334), the first author was supported by the Russian Foundation for Basic Research (Grants 08-01-00336a and 09-01-12140_OFI_M), and all authors were supported by the Russian Foundation for Basic Research (Grant 07-01-00543a).
__________
Translated from Sibirskiĭ Matematicheskiĭ Zhurnal, Vol. 51, No. 3, pp. 575–583, May–June, 2010.
Rights and permissions
About this article
Cite this article
Kudinov, O.V., Selivanov, V.L. & Yartseva, L.V. Definability in the structure of words with the inclusion relation. Sib Math J 51, 456–462 (2010). https://doi.org/10.1007/s11202-010-0047-y
Received:
Published:
Issue Date:
DOI: https://doi.org/10.1007/s11202-010-0047-y