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

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

Leontyeva M. N.
The minimality of certain decidability conditions for Boolean algebras

We complete our study of the decidability of Boolean algebras in terms of computability of a certain sequence of canonical ideals. We present a proof of the minimality of the conditions obtained for the decidability of Boolean algebras of all elementary characteristics.

Полный текст статьи / Full texts:

• PDF file
• PostScript file