KFU. Card publication. Computable linear orders enriched by the relations S^n

KAZAN
FEDERAL UNIVERSITY

- RUS
- 中文
- ES

COMPUTABLE LINEAR ORDERS ENRICHED BY THE RELATIONS S^N_L

Form of presentation

Conference proceedings in Russian journals and collections

Year of publication

2021

Язык

английский

Authors, employees of KFU

Mikhaylovskaya Yana Alekseevna, author

Bibliographic description in the original language

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.

Annotation

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

Keywords

computable linear order, degree spectra of relations, computable categoricity

The name of the journal

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

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

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

Full metadata record

Field DC	Value	Language
dc.contributor.author	Mikhaylovskaya Yana Alekseevna	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/eng/?p_id=260161&p_lang=2	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	Conference proceedings in Russian journals and collections	ru_RU