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

2018

��

��

Authors, employees of KFU

Yamaleev Mars Mansurovich, author

Bibliographic description in the original language

Bazhenov N, Mustafa M, Yamaleev M., Elementary theories and hereditary undecidability for semilattices of numberings//Archive for Mathematical Logic. - 2018. - Vol., Is.. - .

Keywords

Numberings, elementary theories, undecidability

The name of the journal

Archive for Mathematical Logic

URL

https://www.scopus.com/inward/record.uri?eid=2-s2.0-85053898304&doi=10.1007%2fs00153-018-0647-y&partnerID=40&md5=a382c5c0be369845d189b664fd987220

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

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

Full metadata record

Field DC	Value	Language
dc.contributor.author	Yamaleev Mars Mansurovich	ru_RU
dc.date.accessioned	2018-01-01T00:00:00Z	ru_RU
dc.date.available	2018-01-01T00:00:00Z	ru_RU
dc.date.issued	2018	ru_RU
dc.identifier.citation	Bazhenov N, Mustafa M, Yamaleev M., Elementary theories and hereditary undecidability for semilattices of numberings//Archive for Mathematical Logic. - 2018. - Vol., Is.. - .	ru_RU
dc.identifier.uri	https://repository.kpfu.ru/eng/?p_id=186145&p_lang=2	ru_RU
dc.description.abstract	Archive for Mathematical Logic	ru_RU
dc.language.iso	ru	ru_RU
dc.subject	Numberings	ru_RU
dc.subject	elementary theories	ru_RU
dc.subject	undecidability	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