|
Сибирский математический журнал, 2003, том 44, номер 4, страницы 717–725
(Mi smj1207)
|
|
|
|
Вычислимые семейства суператомных булевых алгебр
П. Е. Алаев Институт математики им. С. Л. Соболева СО РАН
Аннотация:
Описываются семейства суператомных булевых алгебр, обладающие вычислимой нумерацией. Доказывается критерий, сформулированный с использованием только алгоритмических терминов и понятия мажорируемости. Строятся примеры, показывающие, что условие мажорируемости является существенным. Доказывается также некоторый критерий существования вычислимой нумерации для семейства $\alpha$-атомных алгебр ($\alpha$ – конструктивный ординал).
Ключевые слова:
вычислимость, суператомная булева алгебра, вычислимая модель, вычислимая нумерация.
Статья поступила: 15.07.2002
Образец цитирования:
П. Е. Алаев, “Вычислимые семейства суператомных булевых алгебр”, Сиб. матем. журн., 44:4 (2003), 717–725; Siberian Math. J., 44:4 (2003), 561–567
Образцы ссылок на эту страницу:
https://www.mathnet.ru/rus/smj1207 https://www.mathnet.ru/rus/smj/v44/i4/p717
|
Статистика просмотров: |
Страница аннотации: | 204 | PDF полного текста: | 70 | Список литературы: | 39 |
|