Аннотация:
Получено описание 1-разрешимых булевых алгебр с одним выделенным идеалом в терминах вычислимости некоторого набора предикатов на данной алгебре, и показана минимальность полученных условий.
Ключевые слова:булева алгебра, вычислимая модель, разрешимая модель, $n$-разрешимая модель, ограниченные теории булевых алгебр, идеал на булевых алгебрах, $\mathrm{I}$-алгебра.
Полный текст:
PDF файл (291 kB)
Первая страница:
PDF файл