|
Эта публикация цитируется в 1 научной статье (всего в 1 статье)
Относительно наследственно вычислимые отношения на булевых алгебрах с выделенным множеством атомов
М. Н. Леонтьеваab a Институт математики им. С. Л. Соболева СО РАН, пр. Академика Коптюга, 4, Новосибирск 630090
b Новосибирский государственный университет, ул. Пирогова, 1, Новосибирск 630090
Аннотация:
Доказывается теорема, дающая полное описание относительно наследственно вычислимых отношений на булевых алгебрах с выделенным множеством атомов.
Ключевые слова:
булева алгебра, вычислимая функция, вычислимая модель, наследственно вычислимое отношение, относительно наследственно вычислимое отношение.
Статья поступила: 02.03.2020 Окончательный вариант: 06.04.2020 Принята к печати: 08.04.2020
Образец цитирования:
М. Н. Леонтьева, “Относительно наследственно вычислимые отношения на булевых алгебрах с выделенным множеством атомов”, Сиб. матем. журн., 61:3 (2020), 622–633; Siberian Math. J., 61:3 (2020), 490–498
Образцы ссылок на эту страницу:
https://www.mathnet.ru/rus/smj6005 https://www.mathnet.ru/rus/smj/v61/i3/p622
|
|