KFU. Card publication. Критерии полноты для одного класса сводимости

КРИТЕРИИ ПОЛНОТЫ ДЛЯ ОДНОГО КЛАССА СВОДИМОСТИ

Form of presentation

Articles in Russian journals and collections

Year of publication

2022

Язык

русский

Authors, employees of KFU

Arslanov Marat Mirzaevich, author

Bibliographic description in the original language

M.M. Arslanov. Kriterii polnoty dlya odnogo klassa svodimosti // Izvestiya Vuzov, Matematika. - 2022. - №10. S.73-78.

Annotation

Дано описание класса сводимости постовского типа и для него установлен критерий полноты вычислимо перечислимых множеств.

Keywords

неподвижная точка, нумерация, вычислимо перечислимое множество, арифметическая иерархия

The name of the journal

Изв. ВУЗов. Математика.

URL

http://izvuz.kpfu.ru

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

Field DC	Value	Language
dc.contributor.author	Arslanov Marat Mirzaevich	ru_RU
dc.date.accessioned	2022-01-01T00:00:00Z	ru_RU
dc.date.available	2022-01-01T00:00:00Z	ru_RU
dc.date.issued	2022	ru_RU
dc.identifier.citation	М.М. Арсланов. Критерии полноты для одного класса сводимости // Известия Вузов, Математика. - 2022. - №10. С.73-78.	ru_RU
dc.identifier.uri	https://repository.kpfu.ru/eng/?p_id=274089&p_lang=2	ru_RU
dc.description.abstract	Изв. ВУЗов. Математика.	ru_RU
dc.description.abstract	Дано описание класса сводимости постовского типа и для него установлен критерий полноты вычислимо перечислимых множеств.	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	Критерии полноты для одного класса сводимости	ru_RU
dc.type	Articles in Russian journals and collections	ru_RU