Standard

Тьюринговы степени и группы автоморфизмов решёток подструктур. / Dimitrov, R. D.; Harizanov, V.; Морозов, Андрей Сергеевич.

в: Алгебра и логика, Том 59, № 1, 01.03.2020, стр. 27-47.

Результаты исследований: Научные публикации в периодических изданияхстатьяРецензирование

Harvard

APA

Vancouver

Dimitrov RD, Harizanov V, Морозов АС. Тьюринговы степени и группы автоморфизмов решёток подструктур. Алгебра и логика. 2020 март 1;59(1):27-47. doi: 10.33048/alglog.2020.59.102

Author

Dimitrov, R. D. ; Harizanov, V. ; Морозов, Андрей Сергеевич. / Тьюринговы степени и группы автоморфизмов решёток подструктур. в: Алгебра и логика. 2020 ; Том 59, № 1. стр. 27-47.

BibTeX

@article{ffc8f4cd712843358c5f4b255b03a832,
title = "Тьюринговы степени и группы автоморфизмов решёток подструктур",
abstract = "Изучение автоморфизмов вычислимых и других структур является одним из связующих звеньев между теорией вычислимости и классической теорией групп. Вычислимо перечислимые структуры являются одними из наиболее важных невычислимых счётных объектов исследования в теории вычислимых моделей. Здесь внимание сфокусировано на решётке вычислимо перечислимых подструктур данной канонической вычислимой структуры. В частности, для тьюринговой степени изучаются группы -вычислимых автоморфизмов решётки -перечислимых векторных подпространств, интервальной булевой алгебры на упорядоченном множестве рациональных чисел, а также решётки -перечистимых под алгебр -Оказывается, что тьюрингова сводимость для этих групп может быть фактически заменена на вложимость групп. Кроме того, тьюрингова степень типов изоморфизма для этих групп равна второму тьюринговому скачку для множества ",
author = "Dimitrov, {R. D.} and V. Harizanov and Морозов, {Андрей Сергеевич}",
note = "Димитров Р.Д., Харизанова В.С., Морозов А.С. Тьюринговы степени и группы автоморфизмов решёток подструктур // Алгебра и логика. - 2020. - Т. 59. - №. 1. - С. 27–47",
year = "2020",
month = mar,
day = "1",
doi = "10.33048/alglog.2020.59.102",
language = "русский",
volume = "59",
pages = "27--47",
journal = "Алгебра и логика",
issn = "0373-9252",
publisher = "Новосибирский региональный общественный фонд {"}Сибирский фонд алгебры и логики{"}",
number = "1",

}

RIS

TY - JOUR

T1 - Тьюринговы степени и группы автоморфизмов решёток подструктур

AU - Dimitrov, R. D.

AU - Harizanov, V.

AU - Морозов, Андрей Сергеевич

N1 - Димитров Р.Д., Харизанова В.С., Морозов А.С. Тьюринговы степени и группы автоморфизмов решёток подструктур // Алгебра и логика. - 2020. - Т. 59. - №. 1. - С. 27–47

PY - 2020/3/1

Y1 - 2020/3/1

N2 - Изучение автоморфизмов вычислимых и других структур является одним из связующих звеньев между теорией вычислимости и классической теорией групп. Вычислимо перечислимые структуры являются одними из наиболее важных невычислимых счётных объектов исследования в теории вычислимых моделей. Здесь внимание сфокусировано на решётке вычислимо перечислимых подструктур данной канонической вычислимой структуры. В частности, для тьюринговой степени изучаются группы -вычислимых автоморфизмов решётки -перечислимых векторных подпространств, интервальной булевой алгебры на упорядоченном множестве рациональных чисел, а также решётки -перечистимых под алгебр -Оказывается, что тьюрингова сводимость для этих групп может быть фактически заменена на вложимость групп. Кроме того, тьюрингова степень типов изоморфизма для этих групп равна второму тьюринговому скачку для множества

AB - Изучение автоморфизмов вычислимых и других структур является одним из связующих звеньев между теорией вычислимости и классической теорией групп. Вычислимо перечислимые структуры являются одними из наиболее важных невычислимых счётных объектов исследования в теории вычислимых моделей. Здесь внимание сфокусировано на решётке вычислимо перечислимых подструктур данной канонической вычислимой структуры. В частности, для тьюринговой степени изучаются группы -вычислимых автоморфизмов решётки -перечислимых векторных подпространств, интервальной булевой алгебры на упорядоченном множестве рациональных чисел, а также решётки -перечистимых под алгебр -Оказывается, что тьюрингова сводимость для этих групп может быть фактически заменена на вложимость групп. Кроме того, тьюрингова степень типов изоморфизма для этих групп равна второму тьюринговому скачку для множества

UR - https://elibrary.ru/item.asp?id=42852429

UR - https://www.mendeley.com/catalogue/61c8cfc5-ce69-3780-ba32-3e23a82a66c1/

U2 - 10.33048/alglog.2020.59.102

DO - 10.33048/alglog.2020.59.102

M3 - статья

VL - 59

SP - 27

EP - 47

JO - Алгебра и логика

JF - Алгебра и логика

SN - 0373-9252

IS - 1

ER -

ID: 25043656