KFU. Card publication. Turing and enumeration jumps in the Ershov hierarchy

KAZAN
FEDERAL UNIVERSITY

- RUS
- 中文
- ES

TURING AND ENUMERATION JUMPS IN THE ERSHOV HIERARCHY

Form of presentation

Articles in international journals and collections

Year of publication

2012

Authors, employees of KFU

Kalimullin Iskander Shagitovich, author

Fayzrakhmanov Marat Khaydarovich, author

Bibliographic description in the original language

Faizrahmanov, Marat Kh.; Kalimullin, Iskander Sh. Turing and enumeration jumps in the Ershov hierarchy //Journal of Logic and Computation. Vol.22, N.4, 2012 , pp.737-743

Annotation

J LOGIC COMPUT

Keywords

оператор перечисления, скачок по перечислимости, конструктивный ординал, иерархия Ершова

The name of the journal

J LOGIC COMPUT

URL

http://logcom.oxfordjournals.org/content/22/4/737

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

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

Full metadata record

Field DC	Value	Language
dc.contributor.author	Kalimullin Iskander Shagitovich	ru_RU
dc.contributor.author	Fayzrakhmanov Marat Khaydarovich	ru_RU
dc.date.accessioned	2012-01-01T00:00:00Z	ru_RU
dc.date.available	2012-01-01T00:00:00Z	ru_RU
dc.date.issued	2012	ru_RU
dc.identifier.citation	Faizrahmanov, Marat Kh.; Kalimullin, Iskander Sh. Turing and enumeration jumps in the Ershov hierarchy //Journal of Logic and Computation. Vol.22, N.4, 2012 , pp.737-743	ru_RU
dc.identifier.uri	https://repository.kpfu.ru/eng/?p_id=40100&p_lang=2	ru_RU
dc.description.abstract	J LOGIC COMPUT	ru_RU
dc.description.abstract	J LOGIC COMPUT	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	Turing and enumeration jumps in the Ershov hierarchy	ru_RU
dc.type	Articles in international journals and collections	ru_RU