Degrees of categoricity of rigid structures

Nikolay A. Bazhenov, Mars M. Yamaleev

Результат исследования: Публикации в книгах, отчётах, сборниках, трудах конференцийстатья в сборнике материалов конференциинаучнаярецензирование

1 Цитирования (Scopus)

Аннотация

We prove that there exists a properly 2-c.e. Turing degree d which cannot be a degree of categoricity of a rigid structure.

Язык оригиналаанглийский
Название основной публикацииUnveiling Dynamics and Complexity - 13th Conference on Computability in Europe, CiE 2017, Proceedings
РедакторыJ Kari, F Manea, Petre
ИздательSpringer-Verlag GmbH and Co. KG
Страницы152-161
Число страниц10
Том10307 LNCS
ISBN (печатное издание)9783319587400
DOI
СостояниеОпубликовано - 1 янв 2017
Событие13th Conference on Computability in Europe, CiE 2017 - Turku, Финляндия
Продолжительность: 12 июн 201716 июн 2017

Серия публикаций

НазваниеLecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics)
Том10307 LNCS
ISSN (печатное издание)0302-9743
ISSN (электронное издание)1611-3349

Конференция

Конференция13th Conference on Computability in Europe, CiE 2017
СтранаФинляндия
ГородTurku
Период12.06.201716.06.2017

Fingerprint Подробные сведения о темах исследования «Degrees of categoricity of rigid structures». Вместе они формируют уникальный семантический отпечаток (fingerprint).

Цитировать