|
Алгебра и логика, 2003, том 42, номер 2, страницы 182–193
(Mi al24)
|
|
|
|
Эта публикация цитируется в 10 научных статьях (всего в 10 статьях)
Спектры степеней для отношений на булевых алгебрах
С. С. Гончаровa, Р. Доуниb, Д. Хиршвельдc a Институт математики им. С. Л. Соболева СО РАН
b Victoria University of Wellington, School of Mathematics, Statistics and Computer Science
c University of Chicago
Аннотация:
Доказывается, что любое вычислимое отношение на вычислимой булевой алгебре $\mathfrak B$ либо определимо бескванторной формулой с константами из $\mathfrak B$ (и в этом случае, очевидно, наследственно вычислимо), либо имеет бесконечный спектр степеней.
Ключевые слова:
вычислимая булева алгебра, вычислимое отношение, наследственно вычислимое отношение.
Поступило: 21.11.2000
Образец цитирования:
С. С. Гончаров, Р. Доуни, Д. Хиршвельд, “Спектры степеней для отношений на булевых алгебрах”, Алгебра и логика, 42:2 (2003), 182–193; Algebra and Logic, 42:2 (2003), 105–111
Образцы ссылок на эту страницу:
https://www.mathnet.ru/rus/al24 https://www.mathnet.ru/rus/al/v42/i2/p182
|
Статистика просмотров: |
Страница аннотации: | 506 | PDF полного текста: | 136 | Список литературы: | 84 | Первая страница: | 1 |
|