Аннотация:
Рассматривается вопрос о вложении первого неконструктивного ординала в полурешетки Роджерса семейств арифметических множеств. Доказывается, что для любого бесконечного семейства арифметических множеств первый неконструктивный ординал вкладывается над любым минимальным элементом его полурешетки Роджерса. Устанавливается, что если семейство является
главным или конечным, то первый неконструктивный ординал вкладывается над любым ненаибольшим элементом его полурешетки Роджерса.
Библиография: 12 названий.
Ключевые слова:нумерация, полурешетка Роджерса, первый неконструктивный ординал.
Полный текст:
PDF файл (562 kB)
