|
Математические труды, 2004, том 7, номер 1, страницы 3–12
(Mi mt68)
|
|
|
|
Эта публикация цитируется в 6 научных статьях (всего в 6 статьях)
Разрешимые булевы алгебры характеристики $(1,0,1)$
П. Е. Алаев Институт математики им. С. Л. Соболева СО РАН
Аннотация:
Доказывается, что любая 2-конструктивная булева алгебра элементарной характеристики
$(1,0,1)$ является сильно конструктивизируемой (разрешимой). Это завершает исследование связи $n$-конструктивности и сильной конструктивности
для булевых алгебр характеристик $(0,*,*)$ и $(1,*,*)$. Предлагается
также описание 3-конструктивных булевых алгебр через некоторый $\Delta^2_0$-вычислимый инвариант.
Ключевые слова и фразы:
булева алгебра, алгоритм, вычислимость, конструктивная модель.
Статья поступила: 24.07.2003
Образец цитирования:
П. Е. Алаев, “Разрешимые булевы алгебры характеристики $(1,0,1)$”, Матем. тр., 7:1 (2004), 3–12; Siberian Adv. Math., 15:1 (2005), 1–10
Образцы ссылок на эту страницу:
https://www.mathnet.ru/rus/mt68 https://www.mathnet.ru/rus/mt/v7/i1/p3
|
Статистика просмотров: |
Страница аннотации: | 410 | PDF полного текста: | 112 | Список литературы: | 51 | Первая страница: | 1 |
|