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

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