KFU. Card publication. Elementary theories and hereditary undecidability for semilattices of numberings

KAZAN
FEDERAL UNIVERSITY

- RUS
- 中文
- ES

ELEMENTARY THEORIES AND HEREDITARY UNDECIDABILITY FOR SEMILATTICES OF NUMBERINGS

Form of presentation

Articles in international journals and collections

Year of publication

2019

��

��

Authors, employees of KFU

Yamaleev Mars Mansurovich, author

Other authors

Bazhenov Nikolay Alekseevich, author

Mustafa Manat , author

Bibliographic description in the original language

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.

Annotation

We study questions of hereditary undecidability for semilattices of numberings

Keywords

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

The name of the journal

Archive for Mathematical Logic

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

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

Resource files

File name	Size (MB)	Format
F_paper2019_fromScopus.pdf	0,40	pdf	show / download

Full metadata record

Field DC	Value	Language
dc.contributor.author	Yamaleev Mars Mansurovich	ru_RU
dc.contributor.author	Bazhenov Nikolay Alekseevich	ru_RU
dc.contributor.author	Mustafa Manat	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/eng/?p_id=206734&p_lang=2	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	Articles in international journals and collections	ru_RU