KFU. Card publication. CEA-операторы и иерархия Ершова.

KAZAN
FEDERAL UNIVERSITY

- RUS
- 中文
- ES

CEA-ОПЕРАТОРЫ И ИЕРАРХИЯ ЕРШОВА.

Form of presentation

Articles in Russian journals and collections

Year of publication

2024

Язык

русский

Authors, employees of KFU

Arslanov Marat Mirzaevich, author

Yamaleev Mars Mansurovich, author

Other authors

Batyrshin Ilnur Ildarovich, author

Bibliographic description in the original language

Arslanov M.M. CEA-operatory i ierarkhiya Ershova, I /M.M. Arslanov, Sh.Sh. Batyrshin, M.M. Yamaleev// Algebra i Logika. -2024.-t. 63.-№3. - S. 248-270..

Annotation

Доказано, что существует такое вычислимо перечислимой множество A, расположенное по Т-сводимости ниже 0', для которого все CEA-тьюринговые степени, расположенные над ним, вычислимо перечислимы.

Keywords

степень неразрешимости, оператор скачка, тьюринговая сводимость, иерархия Ершова

The name of the journal

Алгебра и логика

URL

https://www.mathnet.ru/php/archive.phtml?wshow=paper&jrnid=al&paperid=2805&option_lang=rus

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

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

Full metadata record

Field DC	Value	Language
dc.contributor.author	Arslanov Marat Mirzaevich	ru_RU
dc.contributor.author	Yamaleev Mars Mansurovich	ru_RU
dc.contributor.author	Batyrshin Ilnur Ildarovich	ru_RU
dc.date.accessioned	2024-01-01T00:00:00Z	ru_RU
dc.date.available	2024-01-01T00:00:00Z	ru_RU
dc.date.issued	2024	ru_RU
dc.identifier.citation	Арсланов М.М. CEA-операторы и иерархия Ершова, I /М.М. Арсланов, Ш.Ш. Батыршин, М.М. Ямалеев// Алгебра и Логика. -2024.-т. 63.-№3. - С. 248-270..	ru_RU
dc.identifier.uri	https://repository.kpfu.ru/eng/?p_id=316835&p_lang=2	ru_RU
dc.description.abstract	Алгебра и логика	ru_RU
dc.description.abstract	Доказано, что существует такое вычислимо перечислимой множество A, расположенное по Т-сводимости ниже 0', для которого все CEA-тьюринговые степени, расположенные над ним, вычислимо перечислимы.	ru_RU
dc.language.iso	ru	ru_RU
dc.subject	степень неразрешимости	ru_RU
dc.subject	оператор скачка	ru_RU
dc.subject	тьюринговая сводимость	ru_RU
dc.subject	иерархия Ершова	ru_RU
dc.title	CEA-операторы и иерархия Ершова.	ru_RU
dc.type	Articles in Russian journals and collections	ru_RU