Abstract:

Let us adduce some definitions. If A is a nonrecursive computably enumerable (c.e.) set, then a splitting of A is a pair A 1 , A 2 of disjoint c.e. sets such that A 1 U A 2 = A. A c.e. set A is T-mitotic (wtt-mitotic) if there is a splitting A 1 , A 2 of A such that A 1 ≡ T A 2 ≡ T A (A 1 ≡ wtt A 2 ≡ wtt A). In this article it is proved, that there exists a low c.e. degree u such that if v is a c.e. degree and u ≤ v, then v contains a hypersimple T-mitotic set, which is not wtt-mitotic.

Publisher:

IEEE

Identifier:

oai:noad.sci.am:136211

DOI:

10.1109/CSITechnol.2019.8895074

ISBN:

978-1-7281-2859-7

Language:

English

URL:

click here to follow the link

Affiliation:

Institute for Informatics and Automation Problems of NAS RA

Country:

Armenia

Year:

2019

Time period:

23-27 Sept. 2019

Conference title:

2019 Computer Science and Information Technologies (CSIT)

Place:

Yerevan, Armenia