Examples



mdbootstrap.com



 
Статья
2021

Structures of Degrees of Negative Representations of Linear Orders


N. Kh. KasymovN. Kh. Kasymov, R. N. DadazhanovR. N. Dadazhanov, S. K. DjavlievS. K. Djavliev
Русская математика
https://doi.org/10.3103/S1066369X21120045
Abstract / Full Text

The structures of partially ordered sets of degrees of negative and positive representability of linear orders are studied. The focus is on the negative representability of linear orders and orders with endomorphisms. In particular, for these structures, we established the existence of incomparable, maximal, and minimal degrees, infinite chains and anti-chains, and also considered the connection with the concepts of the reducibility of enumerartions, splittable degrees and positive representations.

Author information
  • National University of Uzbekistan, 4 Universitetskaya str., 100174, Tashkent, Republic of UzbekistanN. Kh. Kasymov, R. N. Dadazhanov & S. K. Djavliev
References
  1. Ershov Yu.L. Numeration Theory (Nauka, Moscow, 1977) [in Russian].
  2. Ershov Yu.L. Resolvability Problems and Constructive Models (Nauka, Moscow, 1980) [in Russian].
  3. Goncharov S.S., Ershov Yu.L. Constructive Models (Nauchnaya Kniga, Novosibirsk, 1999) [in Russian].
  4. Mal'tsev A.I. Algebraic Systems (Nauka, Moscow, 1970) [in Russian].
  5. Soar I.R. Computably Enumerable Sets and Degrees (Kazan Mathematical Society, Kazan, 2000) [in Russian].
  6. Mal'cev A.I. "On the general theory of algebraic systems", Mat. Sb. N.S. 35 (1), 3-20 (1954) [in Russian].
  7. Mal'cev A.I. "Constructive algebras. I", Uspehi Mat. Nauk 16 (3), 3-60 (1961) [in Russian].
  8. Kasymov N.Kh. "Recursively separable enumerated algebras", Russian Math. Surveys 51 (3), 509-538 (1996).
  9. Kasymov N.Kh. "Homomorphisms on negative algebras", Algebra and Logic 31 (2), 81-89 (1992).
  10. Kasymov N.Kh., Ibragimov F.N. "Computably separable models", Sovrem. Mat. Fundam. Napravl. 64 (4), 682-705 (2018) [in Russian].
  11. Kasymov N.Kh. "On homomorphisms onto effectively separable algebras", Sib. Math. J. 57 (1), 36-50 (2016).
  12. Kasymov N.Kh., Ibragimov F.N. "Separable enumerations of skew fields and effective embeddability in their rings", Sib. Math. J. 60 (1), 62-70 (2019).
  13. Kasymov N.Kh. "Separation axioms and partitions of the natural number sequence", Sib. Math. J. 34 (3), 468-471 (1993).
  14. Kasymov N.Kh., Khodzhamuratova I.A. "Topological spaces over algorithmic representations of universal algebras", Itogi Nauki Tekh. Ser. Sovrem. Mat. Prilozh. Temat. Obz. 144, 17-29 (2018) [in Russian].
  15. Kasymov N.Kh. "Algebras over negative equivalences", Algebra and Logic 33 (1), 46-48 (1994).
  16. Kasymov N.Kh. "Nonconstructive negative algebras with finiteness conditions", Sib. Math. J. 33 (6), 1126-1128 (1992).
  17. Kasymov N.Kh. "Positive algebras with congruences of finite index", Algebra and Logic 30 (3), 190-199 (1991).
  18. Kasymov N.Kh. "Positive algebras with countable congruence lattices", Algebra and Logic 31 (1), 12-23 (1992).
  19. Kasymov N.Kh. "Positive algebras with noetherian congruence lattices", Sib. Math. J. 33 (2), 338-341 (1992).
  20. Kasymov N.Kh. "Algebras with residually finite positively presented expansions", Algebra i Logika 26 (6), 715-730 (1987) [in Russian].
  21. Kasymov N.Kh. "On the number of Q-congruences of positive algebras", Algebra and Logic 31 (3), 182-187 (1993).
  22. Kasymov N.Kh. "The number of congruences of algebras over simple sets", Math. Notes 52 (1–2), 861-862 (1992).
  23. Kasymov N.Kh., Khusainov B.M. "Positive equivalences with finite classes and algebras over them", Siberian Math. J. 33 (5), 923-927 (1992).
  24. Kasymov N.Kh., Dadazhanov R.N. "Negative dense linear orders", Sib. Math. J. 58 (6), 1015-1033 (2017).
  25. Morozov A.S., Truss J. K. "On computable automorphisms of the rational numbers", J. Symbolic Logic 66 (3), 1458-1470 (2001).
  26. Kasymov N.Kh. "Enumerated algebras with uniformly recursively separable classes", Sib. Math. J. 34 (5), 869-882 (1993).
  27. Goncharov S.S. "Models of data and languages for their descriptions", Vychisl. Sistemy 107, 52-77 (1985) [in Russian].
  28. Kasymov N.Kh., Morozov A.S. "On the definability of linear orders over negative equivalences", Algebra Logic 55 (1), 24-37 (2016).
  29. Feiner L. "Hierarchies of boolean algebras", J. Symb. Logic 35 (2), 365-374 (1970).
  30. Khoussainov B., Slaman T., Semukhin P. "\(\prod_1^0\)-presentations of algebras", Archive Math. Logic 45 (6), 769-781 (2006).
  31. Fokina E., Khoussainov B., Semukhin P., and Turetskiy D. "Linear orders realized by C.E. equivalence relations", J. Symb. Logic 81 (2), 463-482 (2016).