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

Standard

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

в: Алгебра и логика, Том 59, № 1, 01.03.2020, стр. 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