Form of presentation | Conference proceedings in Russian journals and collections |
Year of publication | 2019 |
Язык | русский |
|
Ishmukhametov Shamil Talgatovich, author
|
Bibliographic description in the original language |
Ishmukhametov Sh.T. One extension of the capping minimal degree theorem / Sh.T. Ishmukhametov// Sbornik tezisov mezhdunarodnoy konferencii «Algebra i matematicheskaya logika: teoriya i prilozheniya», g. Kazan, 24–28 iyunya 2019, KFU, c.46 |
Annotation |
Сборник тезисов международной конференции «Алгебра и математическая логика: теория и приложения», г. Казань, 24–28 июня 2019, КФУ |
Keywords |
computably enumerable, Turing degrees, meet problem |
The name of the journal |
Сборник тезисов международной конференции «Алгебра и математическая логика: теория и приложения», г. Казань, 24–28 июня 2019, КФУ
|
URL |
https://kpfu.ru/portal/docs/F_304738713/__Main.pdf |
Please use this ID to quote from or refer to the card |
https://repository.kpfu.ru/eng/?p_id=210194&p_lang=2 |
Resource files | |
|
Full metadata record ![](https://shelly.kpfu.ru/pdf/picture/arrow_black_right.gif) |
Field DC |
Value |
Language |
dc.contributor.author |
Ishmukhametov Shamil Talgatovich |
ru_RU |
dc.date.accessioned |
2019-01-01T00:00:00Z |
ru_RU |
dc.date.available |
2019-01-01T00:00:00Z |
ru_RU |
dc.date.issued |
2019 |
ru_RU |
dc.identifier.citation |
Ишмухаметов Ш.Т. One extension of the capping minimal degree theorem / Ш.Т. Ишмухаметов// Сборник тезисов международной конференции «Алгебра и математическая логика: теория и приложения», г. Казань, 24–28 июня 2019, КФУ, c.46 |
ru_RU |
dc.identifier.uri |
https://repository.kpfu.ru/eng/?p_id=210194&p_lang=2 |
ru_RU |
dc.description.abstract |
Сборник тезисов международной конференции «Алгебра и математическая логика: теория и приложения», г. Казань, 24–28 июня 2019, КФУ |
ru_RU |
dc.description.abstract |
Дана схема нового доказательства теоремы, доказанной ранее американскими авторами Benedict Durrant, Andy Lewis-Pye, Keng Meng Ng and James Riley Computably enumerable Turing degrees and the meet property. |
ru_RU |
dc.language.iso |
ru |
ru_RU |
dc.subject |
computably enumerable |
ru_RU |
dc.subject |
Turing degrees |
ru_RU |
dc.subject |
meet problem |
ru_RU |
dc.title |
One extension of the capping minimal degree theorem |
ru_RU |
dc.type |
Conference proceedings in Russian journals and collections |
ru_RU |
|