Эффективные иерархии

Исследуются возможности аппарата итерированной клиниевской вычислимости для порождения рекурсивных иерархий. Вводится общее понятие эффективной ординальной нумерации (на которую навешиваются итерированные клиниевские оракулы) и устанавливаются их характерные свойства. Рассматриваются некоторые механизмы порождения таких нумераций.