Алаев П. Е.
Вычислимые семейства суператомных булевых алгебр

Описываются семейства суператомных булевых алгебр, обладающие вычислимой нумерацией. Доказывается критерий, сформулированный с использованием только алгоритмических терминов и понятия мажорируемости. Строятся примеры, показывающие, что условие мажорируемости является существенным. Доказывается также некоторый критерий существования вычислимой нумерации для семейства α-атомных алгебр (α — конструктивный ординал).

Alaev P. E.
Computable families of superatomic Boolean algebras

We describe the families of superatomic Boolean algebras which have a computable numbering. We define the notion of majorizability and establish a criterion that is formulated only on using algorithmic terms and majorizability. We give some examples showing that the condition of majorizability is essential. We also prove some criterion for the existence of a computable numbering for a family of α-atomic algebras (α is a computable ordinal).

Полный текст статьи / Full texts:

• PDF file (422 KB)
• PostScript file (783 KB)