Effective Embeddings for Pairs of Structures

Nikolay Bazhenov; Hristo Ganchev; Stefan Vatev

doi:10.1007/978-3-030-22996-2_8

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	https://doi.org/10.1007/978-3-030-22996-2_8
Состояние	Опубликовано - 1 янв. 2019
Событие	15th Conference on Computability in Europe, CiE 2019 - Durham, Великобритания Продолжительность: 15 июл. 2019 → 19 июл. 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
Страна/Tерритория	Великобритания
Город	Durham
Период	15.07.2019 → 19.07.2019

Доступ к документу

10.1007/978-3-030-22996-2_8

Другие файлы и ссылки

Link to publication in Scopus

Цитировать

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

Bazhenov, Nikolay ; Ganchev, Hristo ; Vatev, Stefan. / Effective Embeddings for Pairs of Structures. 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, 2019. стр. 84-95 (Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics)).

@inproceedings{f6e9fd69bfb14f3ca7724ffbf286e605,

title = "Effective Embeddings for Pairs of Structures",

abstract = "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.",

keywords = "COMPUTABLE EMBEDDINGS, REDUCIBILITY, FUNCTORS, SPECTRA",

author = "Nikolay Bazhenov and Hristo Ganchev and Stefan Vatev",

year = "2019",

month = jan,

day = "1",

doi = "10.1007/978-3-030-22996-2_8",

language = "English",

isbn = "9783030229955",

series = "Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics)",

publisher = "Springer-Verlag GmbH and Co. KG",

pages = "84--95",

editor = "Florin Manea and Barnaby Martin and Dani{\"e}l Paulusma and Giuseppe Primiero",

booktitle = "Computing with Foresight and Industry - 15th Conference on Computability in Europe, CiE 2019, Proceedings",

address = "Germany",

note = "15th Conference on Computability in Europe, CiE 2019 ; Conference date: 15-07-2019 Through 19-07-2019",

}

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. 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, стр. 84-95, 15th Conference on Computability in Europe, CiE 2019, Durham, Великобритания, 15.07.2019. https://doi.org/10.1007/978-3-030-22996-2_8

Effective Embeddings for Pairs of Structures. / Bazhenov, Nikolay; Ganchev, Hristo; Vatev, Stefan.

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, 2019. стр. 84-95 (Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics); Том 11558 LNCS).

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

TY - GEN

T1 - Effective Embeddings for Pairs of Structures

AU - Bazhenov, Nikolay

AU - Ganchev, Hristo

AU - Vatev, Stefan

PY - 2019/1/1

Y1 - 2019/1/1

N2 - 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.

AB - 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.

KW - COMPUTABLE EMBEDDINGS

KW - REDUCIBILITY

KW - FUNCTORS

KW - SPECTRA

UR - http://www.scopus.com/inward/record.url?scp=85069487743&partnerID=8YFLogxK

U2 - 10.1007/978-3-030-22996-2_8

DO - 10.1007/978-3-030-22996-2_8

M3 - Conference contribution

AN - SCOPUS:85069487743

SN - 9783030229955

T3 - Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics)

SP - 84

EP - 95

BT - Computing with Foresight and Industry - 15th Conference on Computability in Europe, CiE 2019, Proceedings

A2 - Manea, Florin

A2 - Martin, Barnaby

A2 - Paulusma, Daniël

A2 - Primiero, Giuseppe

PB - Springer-Verlag GmbH and Co. KG

T2 - 15th Conference on Computability in Europe, CiE 2019

Y2 - 15 July 2019 through 19 July 2019

ER -

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

Effective Embeddings for Pairs of Structures

Аннотация

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

Конференция

Доступ к документу

Другие файлы и ссылки

Fingerprint

Цитировать