КФУ. Карточка публикации. Effective categoricity on computable linear orderings

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

RUS

- EN
- 中文
- ES

EFFECTIVE CATEGORICITY ON COMPUTABLE LINEAR ORDERINGS

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

Тезисы и материалы конференций в зарубежных журналах и сборниках

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

2015

Язык

английский

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

Фролов Андрей Николаевич, автор

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

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.

Аннотация

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

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

linear orderings, computability, effective categoricity

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

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

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

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

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

Поле DC	Значение	Язык
dc.contributor.author	Фролов Андрей Николаевич	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/?p_id=122636	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	Тезисы и материалы конференций в зарубежных журналах и сборниках	ru_RU