KFU. Card publication. Model-theoretic properties of turing degrees in the Ershov difference hierarchy

KAZAN
FEDERAL UNIVERSITY

- RUS
- 中文
- ES

MODEL-THEORETIC PROPERTIES OF TURING DEGREES IN THE ERSHOV DIFFERENCE HIERARCHY

Form of presentation

Articles in international journals and collections

Year of publication

2012

��

��

Authors, employees of KFU

Arslanov Marat Mirzaevich, author

Bibliographic description in the original language

Arslanov M.M., Model-theoretic properties of turing degrees in the Ershov difference hierarchy//Proceedings of the Steklov Institute of Mathematics. - 2012. - Vol.278, Is.SUPPL. 1. - P.57-65.

Keywords

Model, Turing degree, computable function, degree of unsolvability

The name of the journal

PROCEEDINGS OF THE STEKLOV INSTITUTE OF MATHEMATICS

URL

http://mi.mathnet.ru/eng/spm/v15/p5

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

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

Full metadata record

Field DC	Value	Language
dc.contributor.author	Arslanov Marat Mirzaevich	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	Arslanov M.M., Model-theoretic properties of turing degrees in the Ershov difference hierarchy//Proceedings of the Steklov Institute of Mathematics. - 2012. - Vol.278, Is.SUPPL. 1. - P.57-65.	ru_RU
dc.identifier.uri	https://repository.kpfu.ru/eng/?p_id=150324&p_lang=2	ru_RU
dc.description.abstract	PROCEEDINGS OF THE STEKLOV INSTITUTE OF MATHEMATICS	ru_RU
dc.language.iso	ru	ru_RU
dc.subject	Model	ru_RU
dc.subject	Turing degree	ru_RU
dc.subject	computable function	ru_RU
dc.subject	degree of unsolvability	ru_RU
dc.title	Model-theoretic properties of turing degrees in the Ershov difference hierarchy	ru_RU
dc.type	Articles in international journals and collections	ru_RU