М. Н. Леонтьева, “Минимальность некоторых условий разрешимости для булевых алгебр”, Сиб. матем. журн., 2012, том 53, номер 1,страницы 132

Эта публикация цитируется в 3 статьях

Минимальность некоторых условий разрешимости для булевых алгебр

М. Н. Леонтьева^ab

^a Институт математики им. С. Л. Соболева СО РАН, Новосибирск
^b Новосибирский гос. университет, Новосибирск

Аннотация: Завершается исследование разрешимости булевых алгебр в терминах вычислимости некоторой последовательности канонических идеалов. Приведено доказательство минимальности полученных условий такой разрешимости для булевых алгебр всех элементарных характеристик.

Ключевые слова: булева алгебра, вычислимое множество, вычислимая модель, сильно вычислимая модель, $n$-вычислимость, разрешимая модель, элементарная характеристика булевой алгебры, идеал Ершова–Тарского.

УДК: 510.5+510.6+512.563

Статья поступила: 31.05.2011