KFU. Card publication. Effective categoricity on computable linear orderings

KAZAN
FEDERAL UNIVERSITY

- RUS
- 中文
- ES

EFFECTIVE CATEGORICITY ON COMPUTABLE LINEAR ORDERINGS

Form of presentation

Conference proceedings in international journals and collections

Year of publication

2015

Язык

английский

Authors, employees of KFU

Frolov Andrey Nikolaevich, author

Bibliographic description in the original language

Frolov A. Effective categoricity on computable linear orderings // Book of Abstracts. 15th Congress of Logic, Methodology and Philosophy of Science. Logic Colloquium 2015. - 2015. - P. 687.

Annotation

Book of Abstracts. 15th Congress of Logic, Methodology and Philosophy of Science. Logic Colloquium 2015

Keywords

linear orderings, computability, effective categoricity

The name of the journal

Book of Abstracts. 15th Congress of Logic, Methodology and Philosophy of Science. Logic Colloquium 2015

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

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

Full metadata record

Field DC	Value	Language
dc.contributor.author	Frolov Andrey Nikolaevich	ru_RU
dc.date.accessioned	2015-01-01T00:00:00Z	ru_RU
dc.date.available	2015-01-01T00:00:00Z	ru_RU
dc.date.issued	2015	ru_RU
dc.identifier.citation	Frolov A. Effective categoricity on computable linear orderings // Book of Abstracts. 15th Congress of Logic, Methodology and Philosophy of Science. Logic Colloquium 2015. - 2015. - P. 687.	ru_RU
dc.identifier.uri	https://repository.kpfu.ru/eng/?p_id=122636&p_lang=2	ru_RU
dc.description.abstract	Book of Abstracts. 15th Congress of Logic, Methodology and Philosophy of Science. Logic Colloquium 2015	ru_RU
dc.language.iso	ru	ru_RU
dc.subject	linear orderings	ru_RU
dc.subject	computability	ru_RU
dc.subject	effective categoricity	ru_RU
dc.title	Effective categoricity on computable linear orderings	ru_RU
dc.type	Conference proceedings in international journals and collections	ru_RU