М. Н. Леонтьева, “Дoстаточные условия разрешимости для булевых алгебр”, Вестн. НГУ. Сер. матем., мех., информ., 2011, том 11, выпуск 4,страницы 63

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

Дoстаточные условия разрешимости для булевых алгебр

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

Новосибирский государственный университет, ул. Пирогова, 2, Новосибирск, 630090, Россия

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

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

УДК: 510.5+510.6+512.563

Поступила в редакцию: 26.06.2009