КФУ. Карточка публикации. Elementary theories and hereditary undecidability for semilattices of numberings

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

RUS

- EN
- 中文
- ES

ELEMENTARY THEORIES AND HEREDITARY UNDECIDABILITY FOR SEMILATTICES OF NUMBERINGS

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

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

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

2019

Язык

английский

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

Ямалеев Марс Мансурович, автор

Другие авторы

Баженов Николай Алексеевич, автор

Мустафа Манат , автор

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

Bazhenov, N., Mustafa, M., Yamaleev, M. Elementary theories and hereditary undecidability for semilattices of numberings (2019) Archive for Mathematical Logic, 58 (3-4), pp. 485-500.

Аннотация

We study questions of hereditary undecidability for semilattices of numberings

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

Computability theory, Computably enumerable equivalence relation, Elementary definability, First order arithmetic, Hereditary undecidability, Numbering theory, Rogers semilattice, Second order arithmetic, Upper semilattice

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

Archive for Mathematical Logic

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

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

Файлы ресурса

Название файла	Размер (Мб)	Формат
F_paper2019_fromScopus.pdf	0,40	pdf	посмотреть / скачать

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

Поле DC	Значение	Язык
dc.contributor.author	Ямалеев Марс Мансурович	ru_RU
dc.contributor.author	Баженов Николай Алексеевич	ru_RU
dc.contributor.author	Мустафа Манат	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	Bazhenov, N., Mustafa, M., Yamaleev, M. Elementary theories and hereditary undecidability for semilattices of numberings (2019) Archive for Mathematical Logic, 58 (3-4), pp. 485-500.	ru_RU
dc.identifier.uri	https://repository.kpfu.ru/?p_id=206734	ru_RU
dc.description.abstract	Archive for Mathematical Logic	ru_RU
dc.description.abstract	We study questions of hereditary undecidability for semilattices of numberings	ru_RU
dc.language.iso	ru	ru_RU
dc.subject	Computability theory	ru_RU
dc.subject	Computably enumerable equivalence relation	ru_RU
dc.subject	Elementary definability	ru_RU
dc.subject	First order arithmetic	ru_RU
dc.subject	Hereditary undecidability	ru_RU
dc.subject	Numbering theory	ru_RU
dc.subject	Rogers semilattice	ru_RU
dc.subject	Second order arithmetic	ru_RU
dc.subject	Upper semilattice	ru_RU
dc.title	Elementary theories and hereditary undecidability for semilattices of numberings	ru_RU
dc.type	Статьи в зарубежных журналах и сборниках	ru_RU