KFU. Card publication. One extension of the capping minimal degree theorem

KAZAN
FEDERAL UNIVERSITY

- RUS
- 中文
- ES

ONE EXTENSION OF THE CAPPING MINIMAL DEGREE THEOREM

Form of presentation

Conference proceedings in Russian journals and collections

Year of publication

2019

Язык

русский

Authors, employees of KFU

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

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

File name	Size (MB)	Format
F_Conference_Thesis.pdf	1,37	pdf	show / download

Full metadata record

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