|
СИБИРСКИЙ МАТЕМАТИЧЕСКИЙ ЖУРНАЛ
АННОТАЦИИ
Алаев П. Е. Вычислимые семейства суператомных булевых алгебр //
Том 44 (2003), Номер 4,
стр. 717725
Описываются семейства суператомных булевых алгебр, обладающие вычислимой нумерацией. Доказывается критерий, сформулированный с использованием только алгоритмических терминов и понятия мажорируемости. Строятся примеры, показывающие, что условие мажорируемости является существенным. Доказывается также некоторый критерий существования вычислимой нумерации для семейства $ \alpha $-атомных алгебр ($ \alpha $~--- конструктивный ординал).
|
|
© Сибирский Математический Журнал, 2003-2006
|
|