Сиб. матем. журн.,
2020 , том 61, номер 3, страницы 622–633
(Mi smj6005)
Относительно наследственно вычислимые отношения на булевых алгебрах с выделенным множеством атомов М. Н. Леонтьева ab a Институт математики им. С. Л. Соболева СО РАН, пр. Академика Коптюга, 4, Новосибирск 630090 b Новосибирский государственный университет, ул. Пирогова, 1, Новосибирск 630090 Аннотация:
Доказывается теорема, дающая полное описание относительно наследственно вычислимых отношений на булевых алгебрах с выделенным множеством атомов.
Ключевые слова:
булева алгебра, вычислимая функция, вычислимая модель, наследственно вычислимое отношение, относительно наследственно вычислимое отношение.
УДК:
510.5 +
510.6 +
512.563
MSC: 35R30 Статья поступила: 02.03.2020
Окончательный вариант: 06.04.2020
Принята к печати : 08.04.2020
DOI:
10.33048/smzh.2020.61.310
© , 2024
Полный текст:
PDF файл (444 kB)
