О слабой сводимости вычислимых и обобщенно вычислимых нумераций

Аннотация

В работе рассматриваются универсальные и минимальные нумерации относительно слабой сводимости. Построено семейство всюду определенных функций, обладающее универсальной нумерацией и двумя вычислимыми нумерациями, не являющимися слабо эквивалентными. Найдено достаточное условие отсутствия минимальных A-вычислимых нумераций заданных семейств относительно слабой сводимости для любого оракула A.