Эта публикация цитируется в
4 статьях
Булевы алгебры элементарной характеристики $(1,0,1)$ с вычислимыми множеством атомов и идеалом атомных элементов
М. Н. Леонтьева Новосибирский государственный университет, ул. Пирогова, 2, Новосибирск, 630090, Россия
Аннотация:
Задача, решаемая в данной работе, является в какой-то степени более общей, чем исследование связи
$n$-вычислимости и разрешимости булевых алгебр элементарной характеристики
$(n,0,1)$, которое полностью завершено. В работе рассматриваются вычислимые булевы алгебры элементарной характеристики
$(1,0,1)$ с вычислимыми множеством атомов и идеалом атомных элементов. Приводится доказательство того, что такие алгебры имеют сильно вычислимые изоморфные копии. Результат обобщается на случай булевых алгебр элементарной характеристики
$(n,0,1)$.
Ключевые слова:
булевы алгебры, вычислимое множество, вычислимая модель, сильно вычислимая модель,
$n$-вычислимость, элементарная характеристика булевой алгебры, идеал Ершова–Тарского, идеал Фреше.
УДК:
510.5+
510.6+
512.563 Поступила в редакцию: 26.06.2009
Полный текст:
PDF файл (209 kB)
