|
Сибирский математический журнал, 2012, том 53, номер 1, страницы 132–147
(Mi smj2294)
|
|
|
|
Эта публикация цитируется в 4 научных статьях (всего в 4 статьях)
Минимальность некоторых условий разрешимости для булевых алгебр
М. Н. Леонтьеваab a Институт математики им. С. Л. Соболева СО РАН, Новосибирск
b Новосибирский гос. университет, Новосибирск
Аннотация:
Завершается исследование разрешимости булевых алгебр в терминах вычислимости некоторой последовательности канонических идеалов. Приведено доказательство минимальности полученных условий такой разрешимости для булевых алгебр всех элементарных характеристик.
Ключевые слова:
булева алгебра, вычислимое множество, вычислимая модель, сильно вычислимая модель, $n$-вычислимость, разрешимая модель, элементарная характеристика булевой алгебры, идеал Ершова–Тарского.
Статья поступила: 31.05.2011
Образец цитирования:
М. Н. Леонтьева, “Минимальность некоторых условий разрешимости для булевых алгебр”, Сиб. матем. журн., 53:1 (2012), 132–147; Siberian Math. J., 53:1 (2012), 106–118
Образцы ссылок на эту страницу:
https://www.mathnet.ru/rus/smj2294 https://www.mathnet.ru/rus/smj/v53/i1/p132
|
Статистика просмотров: |
Страница аннотации: | 339 | PDF полного текста: | 90 | Список литературы: | 65 | Первая страница: | 3 |
|