КФУ. Карточка публикации. On the Problem of Deﬁnability of the Computably Enumerable Degrees in the Diﬀerence Hierarchy

КАЗАНСКИЙ
ФЕДЕРАЛЬНЫЙ УНИВЕРСИТЕТ

RUS

- EN
- 中文
- ES

ON THE PROBLEM OF DEﬁNABILITY OF THE COMPUTABLY ENUMERABLE DEGREES IN THE DIﬀERENCE HIERARCHY

Форма представления

Статьи в российских журналах и сборниках

Год публикации

2018

Язык

английский

Авторы, сотрудники КФУ

Арсланов Марат Мирзаевич, автор

Библиографическое описание на языке оригинала

M.M. Arslanov, M.M. Yamaleev, On the Problem of Deﬁnability of the Computably Enumerable Degrees in the Diﬀerence Hierarchy// Lobachevskii Journal of Mathematics, 2018, Vol. 39, No. 5, pp. 634–638.

Аннотация

Questions of deﬁnability of computably enumerable degrees in the diﬀerence hierarchy (degreesofsetsfromﬁnitelevelsofthe Ershovdiﬀerencehierarchy)arestudied. Severalapproaches to the solutionof this problemare outlined

Ключевые слова

computable function, Turing degree, semi-lattice, difference hierarchy

Название журнала

Lobachevskii Journal of Math.

URL

https://www.springer.com/mathematics/journal/12202

Пожалуйста, используйте этот идентификатор, чтобы цитировать или ссылаться на эту карточку

https://repository.kpfu.ru/?p_id=179347

Полная запись метаданных

Поле DC	Значение	Язык
dc.contributor.author	Арсланов Марат Мирзаевич	ru_RU
dc.date.accessioned	2018-01-01T00:00:00Z	ru_RU
dc.date.available	2018-01-01T00:00:00Z	ru_RU
dc.date.issued	2018	ru_RU
dc.identifier.citation	M.M. Arslanov, M.M. Yamaleev, On the Problem of Deﬁnability of the Computably Enumerable Degrees in the Diﬀerence Hierarchy// Lobachevskii Journal of Mathematics, 2018, Vol. 39, No. 5, pp. 634–638.	ru_RU
dc.identifier.uri	https://repository.kpfu.ru/?p_id=179347	ru_RU
dc.description.abstract	Lobachevskii Journal of Math.	ru_RU
dc.description.abstract	Questions of deﬁnability of computably enumerable degrees in the diﬀerence hierarchy (degreesofsetsfromﬁnitelevelsofthe Ershovdiﬀerencehierarchy)arestudied. Severalapproaches to the solutionof this problemare outlined	ru_RU
dc.language.iso	ru	ru_RU
dc.subject	computable function	ru_RU
dc.subject	Turing degree	ru_RU
dc.subject	semi-lattice	ru_RU
dc.subject	difference hierarchy	ru_RU
dc.title	On the Problem of Deﬁnability of the Computably Enumerable Degrees in the Diﬀerence Hierarchy	ru_RU
dc.type	Статьи в российских журналах и сборниках	ru_RU