М. Н. Леонтьева, “Сильная конструктивизируемость булевых алгебр элементарной характеристики $(\infty,0,0)$”, Алгебра и логика, 2014, том 53, номер 2,страницы 185

Сильная конструктивизируемость булевых алгебр элементарной характеристики $(\infty,0,0)$

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

^a Ин-т матем. им. С. Л. Соболева СО РАН, пр. Ак. Коптюга, 4, г. Новосибирск, 630090, РОССИЯ
^b Новосибирский гос. ун-т, ул. Пирогова, 2, г. Новосибирск, 630090, РОССИЯ

Аннотация: Даётся полное описание условий сильной конструктивизируемости булевых алгебр элементарной характеристики $(\infty,0,0)$ в терминах вычислимости последовательности канонических предикатов Ершова–Тарского на булевых алгебрах.

Ключевые слова: булева алгебра, вычислимая модель, идеалы булевой алгебры.

УДК: 510.5+510.6+512.563

Поступило: 29.11.2013