KFU. Card publication. Definable relations in Turing degree structures// Материалы международной конференции "Алгебра и математическая логика: теория и приложения", К(П)ФУ, Казань, 2-6 июня 2014, с. 22 г.

- RUS
- 中文
- ES

DEFINABLE RELATIONS IN TURING DEGREE STRUCTURES// МАТЕРИАЛЫ МЕЖДУНАРОДНОЙ КОНФЕРЕНЦИИ "АЛГЕБРА И МАТЕМАТИЧЕСКАЯ ЛОГИКА: ТЕОРИЯ И ПРИЛОЖЕНИЯ", К(П)ФУ, КАЗАНЬ, 2-6 ИЮНЯ 2014, С. 22 Г.

Form of presentation

Articles in Russian journals and collections

Year of publication

2014

Язык

русский

Authors, employees of KFU

Arslanov Marat Mirzaevich, author

Bibliographic description in the original language

Arslanov M.M. Definable relations in Turing degree structures// Materialy mezhdunarodnoy konferencii "Algebra i matematicheskaya logika: teoriya i prilozheniya", K(P)FU, Kazan, 2-6 iyunya 2014, s. 22 g.

Annotation

Материалы международной конференции "Алгебра и математическая логика: теория и приложения", К(П)ФУ, Казань, 2-6 июня 2014

Keywords

определимость, разрешимость, ограниченные теории

The name of the journal

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

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

Full metadata record

Field DC	Value	Language
dc.contributor.author	Arslanov Marat Mirzaevich	ru_RU
dc.date.accessioned	2014-01-01T00:00:00Z	ru_RU
dc.date.available	2014-01-01T00:00:00Z	ru_RU
dc.date.issued	2014	ru_RU
dc.identifier.citation	Arslanov M.M. Definable relations in Turing degree structures// Материалы международной конференции "Алгебра и математическая логика: теория и приложения", К(П)ФУ, Казань, 2-6 июня 2014, с. 22 г.	ru_RU
dc.identifier.uri	https://repository.kpfu.ru/eng/?p_id=117117&p_lang=2	ru_RU
dc.description.abstract	Материалы международной конференции "Алгебра и математическая логика: теория и приложения", К(П)ФУ, Казань, 2-6 июня 2014	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.title	Definable relations in Turing degree structures// Материалы международной конференции "Алгебра и математическая логика: теория и приложения", К(П)ФУ, Казань, 2-6 июня 2014, с. 22 г.	ru_RU
dc.type	Articles in Russian journals and collections	ru_RU