KFU. Card publication. Effective categoricity on computable linear orderings

EFFECTIVE CATEGORICITY ON COMPUTABLE LINEAR ORDERINGS

Form of presentation

Conference proceedings in Russian journals and collections

Year of publication

2016

Язык

английский

Authors, employees of KFU

Frolov Andrey Nikolaevich, author

Bibliographic description in the original language

Frolov A. Effective categoricity on computable linear orderings // The Bulletin of Symbolic Logic. – 2016. – V. 22. – № 3. – p. 396.

Annotation

The Bulletin of Symbolic Logic

Keywords

Effective categoricity, computable linear orderings, categoricity spectra, categoricity degrees

The name of the journal

The Bulletin of Symbolic Logic

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

Field DC	Value	Language
dc.contributor.author	Frolov Andrey Nikolaevich	ru_RU
dc.date.accessioned	2016-01-01T00:00:00Z	ru_RU
dc.date.available	2016-01-01T00:00:00Z	ru_RU
dc.date.issued	2016	ru_RU
dc.identifier.citation	Frolov A. Effective categoricity on computable linear orderings // The Bulletin of Symbolic Logic. – 2016. – V. 22. – № 3. – p. 396.	ru_RU
dc.identifier.uri	https://repository.kpfu.ru/eng/?p_id=148440&p_lang=2	ru_RU
dc.description.abstract	The Bulletin of Symbolic Logic	ru_RU
dc.language.iso	ru	ru_RU
dc.subject	Effective categoricity	ru_RU
dc.subject	computable linear orderings	ru_RU
dc.subject	categoricity spectra	ru_RU
dc.subject	categoricity degrees	ru_RU
dc.title	Effective categoricity on computable linear orderings	ru_RU
dc.type	Conference proceedings in Russian journals and collections	ru_RU