•  
  •  
 

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).

Share

COinS
 
 

To view the content in your browser, please download Adobe Reader or, alternately,
you may Download the file to your hard drive.

NOTE: The latest versions of Adobe Reader do not support viewing PDF files within Firefox on Mac OS and if you are using a modern (Intel) Mac, there is no official plugin for viewing PDF files within the browser window.