Standard
A Note on Computable Embeddings for Ordinals and Their Reverses. / Bazhenov, Nikolay; Vatev, Stefan.
Beyond the Horizon of Computability - 16th Conference on Computability in Europe, CiE 2020, Proceedings. ред. / Marcella Anselmo; Gianluca Della Vedova; Florin Manea; Arno Pauly. Springer Gabler, 2020. стр. 1-13 (Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics); Том 12098 LNCS).
Результаты исследований: Публикации в книгах, отчётах, сборниках, трудах конференций › статья в сборнике материалов конференции › научная › Рецензирование
Harvard
Bazhenov, N & Vatev, S 2020,
A Note on Computable Embeddings for Ordinals and Their Reverses. в M Anselmo, G Della Vedova, F Manea & A Pauly (ред.),
Beyond the Horizon of Computability - 16th Conference on Computability in Europe, CiE 2020, Proceedings. Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics), Том. 12098 LNCS, Springer Gabler, стр. 1-13, 16th Conference on Computability in Europe, CiE 2020, Fisciano, Италия,
29.06.2020.
https://doi.org/10.1007/978-3-030-51466-2_1
APA
Vancouver
Bazhenov N, Vatev S.
A Note on Computable Embeddings for Ordinals and Their Reverses. в Anselmo M, Della Vedova G, Manea F, Pauly A, Редакторы, Beyond the Horizon of Computability - 16th Conference on Computability in Europe, CiE 2020, Proceedings. Springer Gabler. 2020. стр. 1-13. (Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics)). doi: 10.1007/978-3-030-51466-2_1
Author
Bazhenov, Nikolay ; Vatev, Stefan. /
A Note on Computable Embeddings for Ordinals and Their Reverses. Beyond the Horizon of Computability - 16th Conference on Computability in Europe, CiE 2020, Proceedings. Редактор / Marcella Anselmo ; Gianluca Della Vedova ; Florin Manea ; Arno Pauly. Springer Gabler, 2020. стр. 1-13 (Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics)).
BibTeX
@inproceedings{1571ea25c5d040cebe003fc4f29515b9,
title = "A Note on Computable Embeddings for Ordinals and Their Reverses",
abstract = "We continue the study of computable embeddings for pairs of structures, i.e. for classes containing precisely two non-isomorphic structures. Surprisingly, even for some pairs of simple linear orders, computable embeddings induce a non-trivial degree structure. Our main result shows that although is computably embeddable in, the class is not computably embeddable in for any natural number.",
keywords = "Computable embedding, Enumeration operator, Linear order",
author = "Nikolay Bazhenov and Stefan Vatev",
year = "2020",
month = jul,
day = "1",
doi = "10.1007/978-3-030-51466-2_1",
language = "English",
isbn = "9783030514655",
series = "Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics)",
publisher = "Springer Gabler",
pages = "1--13",
editor = "Marcella Anselmo and {Della Vedova}, Gianluca and Florin Manea and Arno Pauly",
booktitle = "Beyond the Horizon of Computability - 16th Conference on Computability in Europe, CiE 2020, Proceedings",
address = "Germany",
note = "16th Conference on Computability in Europe, CiE 2020 ; Conference date: 29-06-2020 Through 03-07-2020",
}
RIS
TY - GEN
T1 - A Note on Computable Embeddings for Ordinals and Their Reverses
AU - Bazhenov, Nikolay
AU - Vatev, Stefan
PY - 2020/7/1
Y1 - 2020/7/1
N2 - We continue the study of computable embeddings for pairs of structures, i.e. for classes containing precisely two non-isomorphic structures. Surprisingly, even for some pairs of simple linear orders, computable embeddings induce a non-trivial degree structure. Our main result shows that although is computably embeddable in, the class is not computably embeddable in for any natural number.
AB - We continue the study of computable embeddings for pairs of structures, i.e. for classes containing precisely two non-isomorphic structures. Surprisingly, even for some pairs of simple linear orders, computable embeddings induce a non-trivial degree structure. Our main result shows that although is computably embeddable in, the class is not computably embeddable in for any natural number.
KW - Computable embedding
KW - Enumeration operator
KW - Linear order
UR - http://www.scopus.com/inward/record.url?scp=85088208740&partnerID=8YFLogxK
U2 - 10.1007/978-3-030-51466-2_1
DO - 10.1007/978-3-030-51466-2_1
M3 - Conference contribution
AN - SCOPUS:85088208740
SN - 9783030514655
T3 - Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics)
SP - 1
EP - 13
BT - Beyond the Horizon of Computability - 16th Conference on Computability in Europe, CiE 2020, Proceedings
A2 - Anselmo, Marcella
A2 - Della Vedova, Gianluca
A2 - Manea, Florin
A2 - Pauly, Arno
PB - Springer Gabler
T2 - 16th Conference on Computability in Europe, CiE 2020
Y2 - 29 June 2020 through 3 July 2020
ER -
