Bulletin of National University of Uzbekistan: Mathematics and Natural Sciences
Abstract
The structure of partially ordered sets of degrees of negative representability of linear orders with endomorphisms is studied. For these structures, the existence of incomparable, maximum and minimum degrees, infinite chains and antichains is established,and also considered connections with the concepts of reducibility of enumerations, splittable degrees and positive representetions.
First Page
121
Last Page
136
References
1. Ershov Yu.L. Numbering theory. Nauka, Moscow, (1977).
2. Ershov Yu.L. Problems of solvability and constructive models. Nauka, Moscow, (1980).
3. Goncharov S.S., Ershov Yu.L. Constructive models. Scientific book, Novosibirsk, (1999).
4. Maltsev A.I. Algebraic systems. Nauka, Moscow, (1970).
5. Soar I.R. Computably enumerable sets and degrees. Kazan Mathematical Society, Kazan, (2000).
6. Maltsev A.I. On the general theory of algebraic systems. Mat. Sat., Vol. 35, Issue 1, 3-20 (1954).
7. Maltsev A.I. Constructive algebras. I. Uspekhi Mat. sciences, Vol. 16, Issue 3, 3-60 (1961).
8. Kasymov N.Kh. Recursively separable numbered algebras. Uspekhi Mat. sciences, Vol. 51, Issue 3, 145-176 (1996).
9. Goncharov S.S. Data models and languages for their descriptions. Computable systems, Vol. 107, 52-77 (1985).
10. Kasymov N.Kh., Morozov A.S. On the definability of linear orders over negative equivalences. Algebra and logic, Vol. 55, Issue 1, 37-57 (2016).
11. Feiner L. Heirarchies of Boolean algebras. The Journal of Symbolic Logic, Vol. 35, Issue 2, 363-373 (1970).
12. Kasymov N.Kh., Dadazhanov R.N. Negative dense linear orderings. Sibirsk. mat. zhurn., Vol. 58, Issue 6, 1306-1331 (2017).
13. Khoussainov B.M., Slaman T., Semukhin P. $\prod_{1}^{0}$-Presentations of Algebras. Archive for Mathematical Logic, Vol. 45, Issue 6, 769-781 (2016).
14. Fokina E.B., Khoussainov B.M., Semukhin P., Turetskiy D. Linear Orders Realized by CE Equivalence Relations. Journal of Symbolic Logic, Vol. 81, Issue 2, 463-482 (2016).
Recommended Citation
Kasymov, Nadimulla and Javliyev, Sarvar
(2021)
"Negative representability degree structures of linear orders with endomorphisms,"
Bulletin of National University of Uzbekistan: Mathematics and Natural Sciences: Vol. 4:
Iss.
2, Article 5.
DOI: https://doi.org/10.56017/2181-1318.1155
Included in
Algebra Commons, Logic and Foundations Commons, Numerical Analysis and Computation Commons, Theory and Algorithms Commons