Ամփոփում:

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.

Հրատարակիչ:

IEEE

Նույնականացուցիչ:

oai:noad.sci.am:136211

DOI:

10.1109/CSITechnol.2019.8895074

ISBN:

978-1-7281-2859-7

Լեզու:

English

URL:

սեղմել այստեղ՝ կապին հետևելու համար

Կազմակերպության անվանում:

Institute for Informatics and Automation Problems of NAS RA

Երկիր:

Armenia

Տարի:

2019

Ժամանակահատված:

23-27 Sept. 2019

Գիտաժողովի անվանում:

2019 Computer Science and Information Technologies (CSIT)

Վայր:

Yerevan, Armenia