Effective Embeddings for Pairs of Structures

Nikolay Bazhenov, Hristo Ganchev, Stefan Vatev

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

Аннотация

We study computable embeddings for pairs of structures, i.e. for classes containing precisely two non-isomorphic structures. We show that computable embeddings induce a non-trivial degree structure for two-element classes consisting of computable structures, in particular the pair of linear orders { ω, ω}, which are the order types of the positive integers and the negative integers, respectively.

Язык оригиналаанглийский
Название основной публикацииComputing with Foresight and Industry - 15th Conference on Computability in Europe, CiE 2019, Proceedings
РедакторыFlorin Manea, Barnaby Martin, Daniël Paulusma, Giuseppe Primiero
ИздательSpringer-Verlag GmbH and Co. KG
Страницы84-95
Число страниц12
ISBN (печатное издание)9783030229955
DOI
СостояниеОпубликовано - 1 янв 2019
Событие15th Conference on Computability in Europe, CiE 2019 - Durham, Великобритания
Продолжительность: 15 июл 201919 июл 2019

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

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

Конференция

Конференция15th Conference on Computability in Europe, CiE 2019
СтранаВеликобритания
ГородDurham
Период15.07.201919.07.2019

Fingerprint Подробные сведения о темах исследования «Effective Embeddings for Pairs of Structures». Вместе они формируют уникальный семантический отпечаток (fingerprint).

  • Цитировать

    Bazhenov, N., Ganchev, H., & Vatev, S. (2019). Effective Embeddings for Pairs of Structures. В F. Manea, B. Martin, D. Paulusma, & G. Primiero (Ред.), Computing with Foresight and Industry - 15th Conference on Computability in Europe, CiE 2019, Proceedings (стр. 84-95). (Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics); Том 11558 LNCS). Springer-Verlag GmbH and Co. KG. https://doi.org/10.1007/978-3-030-22996-2_8