INDEX SETS OF SELF-FULL LINEAR ORDERS ISOMORPHIC TO SOME STANDARD ORDERS

Herald of Kazakh-British technical university, 2023

Full text Open access: Gold Metadata (CSL-JSON)
DOI 10.55452/1998-6688-2023-20-2-36-42
Data confidence 70 medium
How this score is calculated

It is built from checkable properties of the record itself: whether the article has a DOI, how many independent sources confirmed its data, whether the required fields are filled in, and how recent the latest confirmation is. Disagreement between sources and a missing identifier lower it. A value of 80 or above means the record was published without further checking; 60 to 79 means it is published at reduced confidence, with a manual check advisable. A record verified by an editor by hand is never pushed below 90 by a recalculation. This scores our data about the article, not the article itself.

Abstract

The work of Bazhenov N.A., Zubkov M.V., Kalmurzayev B.S. started investigation of questions of the existence of joins and meets of positive linear preorders with respect to computable reducibility of binary relations. In the last section of this work, these questions were considered in the structure of computable linear orders isomorphic to the standard order of natural numbers. Then, the work of Askarbekkyzy A., Bazhenov N.A., Kalmurzayev B.S. continued investigation of this structure. In the last article, the notion of a self-full linear order played important role. A preorder R is called self-full, if for every computable function g(x), which reduces R to R, the image of this function intersects all supp(R)-classes. In this article, we measure exact algorithmic complexities of index sets of all self-full recursive linear orders isomorphic to the standard order of natural numbers and to the standard order of integers. Researching the index sets allows us to measure exact algorithmic complexities of different notions in constructive structures, that we are investigating. We prove that the index set of all self-full computable linear orders isomorphic to the standard order of that we are investigating. We prove that the index set of all self-full computable linear orders isomorphic to the standard order of integers is П3 0-complete.