КФУ. Карточка публикации. Model-theoretic properties of turing degrees in the Ershov difference hierarchy

КАЗАНСКИЙ
ФЕДЕРАЛЬНЫЙ УНИВЕРСИТЕТ

RUS

- EN
- 中文
- ES

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

Форма представления

Статьи в зарубежных журналах и сборниках

Год публикации

2012

Язык

английский

Авторы, сотрудники КФУ

Арсланов Марат Мирзаевич, автор

Библиографическое описание на языке оригинала

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.

Ключевые слова

Model, Turing degree, computable function, degree of unsolvability

Название журнала

PROCEEDINGS OF THE STEKLOV INSTITUTE OF MATHEMATICS

URL

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

Пожалуйста, используйте этот идентификатор, чтобы цитировать или ссылаться на эту карточку

https://repository.kpfu.ru/?p_id=150324

Полная запись метаданных

Поле DC	Значение	Язык
dc.contributor.author	Арсланов Марат Мирзаевич	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/?p_id=150324	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	Статьи в зарубежных журналах и сборниках	ru_RU