Անվանում:

On the Existence of the tt-Mitotic HypersimpleSet Which is not btt-Mitotic

Հեղինակ:

Mokatsian Arsen

Տեսակ:

Conference

Չվերահսկվող բանալի բառեր:

Recursively enumerable (r.e.) set, ; hypersimple set ; mitoticset ; tt - reducibility ; btt - reducibility

Ամփոփում:

Let us adduce some definitions: If a recursively enumerable (r.e.) set A is a disjoint union of two sets B and C, then we say that B, C is an r.e. splitting of A. The r.e. set A is tt-mitotic (btt-mitotic) if there is an r.e. splitting (B,C) of A such that the sets B and C both belong to the same tt - (btt - ) degree of unsolvability, as the set A. In this paper the existence of the tt - mitotic hypersimple set, which is not btt - mitotic is proved.

Լեզու:

English

URL:


լրացուցիչ տեղեկատվություն:

arsenmokatsian@gmail.com

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

Institute for Informatics and Automation Problems

Երկիր:

Armenia

Տարի:

2017

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

September25-29

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

11th International Conference on Computer Science and Information Technologies CSIT 2017

Վայր:

Yerevan

Մասնակցության տեսակը:

oral