КФУ. Карточка публикации. Computable linear orders enriched by the relations S^n

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

RUS

- EN
- 中文
- ES

COMPUTABLE LINEAR ORDERS ENRICHED BY THE RELATIONS S^N_L

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

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

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

2021

Язык

английский

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

Михайловская Яна Алексеевна, автор

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

Michailovskaya Ya. Computable linear orders enriched by the relations S^n_L // European Summer Meeting of the Association for Symbolic Logic «Logic Colloquium». Book of abstracts. -Poznzn, 2021. - P. 64.

Аннотация

European Summer Meeting of the Association for Symbolic Logic «Logic Colloquium». Book of abstracts.

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

computable linear order, degree spectra of relations, computable categoricity

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

European Summer Meeting of the Association for Symbolic Logic «Logic Colloquium». Book of abstracts.

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

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

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

Поле DC	Значение	Язык
dc.contributor.author	Михайловская Яна Алексеевна	ru_RU
dc.date.accessioned	2021-01-01T00:00:00Z	ru_RU
dc.date.available	2021-01-01T00:00:00Z	ru_RU
dc.date.issued	2021	ru_RU
dc.identifier.citation	Michailovskaya Ya. Computable linear orders enriched by the relations S^n_L // European Summer Meeting of the Association for Symbolic Logic «Logic Colloquium». Book of abstracts. -Poznzn, 2021. - P. 64.	ru_RU
dc.identifier.uri	https://repository.kpfu.ru/?p_id=260161	ru_RU
dc.description.abstract	European Summer Meeting of the Association for Symbolic Logic «Logic Colloquium». Book of abstracts.	ru_RU
dc.language.iso	ru	ru_RU
dc.subject	computable linear order	ru_RU
dc.subject	degree spectra of relations	ru_RU
dc.subject	computable categoricity	ru_RU
dc.title	Computable linear orders enriched by the relations S^n_L	ru_RU
dc.type	Тезисы и материалы конференций в российских журналах и сборниках	ru_RU