Object

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

Abstract:

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.

Identifier:

oai:noad.sci.am:135788

Language:

English

URL:


Additional Information:

arsenmokatsian@gmail.com

Affiliation:

Institute for Informatics and Automation Problems

Country:

Armenia

Year:

2017

Time period:

September25-29

Conference title:

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

Place:

Yerevan

Participation type:

oral

Object collections:

Last modified:

Mar 3, 2021

In our library since:

Jul 16, 2020

Number of object content hits:

8

All available object's versions:

https://noad.sci.am/publication/149315

Show description in RDF format:

RDF

Show description in OAI-PMH format:

OAI-PMH

This page uses 'cookies'. More information