|
Алгебра и логика, 2011, том 50, номер 2, страницы 133–151
(Mi al478)
|
|
|
|
Эта публикация цитируется в 4 научных статьях (всего в 4 статьях)
Булевы алгебры элементарной характеристики (1,0,1) с вычислимыми множеством атомов и идеалом Ершова–Тарского
М. Н. Леонтьева Новосибирский гос. ун-т, г. Новосибирск, РОССИЯ
Аннотация:
Доказывается существование вычислимой булевой алгебры элементарной характеристики (1,0,1) с вычислимыми множеством атомов и идеалом Ершова–Тарского, у которой нет сильно вычислимой изоморфной копии. Приводится также некоторое описание $\Delta^0_6$-вычислимых булевых алгебр.
Ключевые слова:
булева алгебра, вычислимость, вычислимая модель.
Поступило: 23.10.2009 Окончательный вариант: 07.06.2010
Образец цитирования:
М. Н. Леонтьева, “Булевы алгебры элементарной характеристики (1,0,1) с вычислимыми множеством атомов и идеалом Ершова–Тарского”, Алгебра и логика, 50:2 (2011), 133–151; Algebra and Logic, 50:2 (2011), 93–105
Образцы ссылок на эту страницу:
https://www.mathnet.ru/rus/al478 https://www.mathnet.ru/rus/al/v50/i2/p133
|
Статистика просмотров: |
Страница аннотации: | 315 | PDF полного текста: | 202 | Список литературы: | 47 | Первая страница: | 10 |
|