KFU. Card publication. On the Problem of Deﬁnability of the Computably Enumerable Degrees in the Diﬀerence Hierarchy

KAZAN
FEDERAL UNIVERSITY

- RUS
- 中文
- ES

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

Form of presentation

Articles in Russian journals and collections

Year of publication

2018

��

��

Authors, employees of KFU

Arslanov Marat Mirzaevich, author

Bibliographic description in the original language

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.

Annotation

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

Keywords

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

The name of the journal

Lobachevskii Journal of Math.

URL

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

Please use this ID to quote from or refer to the card

https://repository.kpfu.ru/eng/?p_id=179347&p_lang=2

Full metadata record

Field DC	Value	Language
dc.contributor.author	Arslanov Marat Mirzaevich	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/eng/?p_id=179347&p_lang=2	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	Articles in Russian journals and collections	ru_RU