Сводимости табличного типа Дегтев, Александр Николаевич

Короткий опис

Дегтев, Александр Николаевич.
Сводимости табличного типа : диссертация ... доктора физико-математических наук : 01.01.06. - Тюмень, 1983. - 172 с. : ил.
Оглавление диссертациидоктор физико-математических наук Дегтев, Александр Николаевич
Введение
Глава I. О ВЕРХНИХ ПОЛУРЕШЕТКАХ РЕКУРСИВНО-ПЕРЕЧИСЛШХ СТЕПЕНЕЙ ТАБЛИЧНОГО ТИПА
§ I. Сводимости табличного типа и счетчики
§ 2. О минимальных степенях.
§3. olh{LM)JULc)nl^Lt)
§4. оТ£(1и)иТftc^itO.
§5. oT£(Lp) иТЦЬа)
Глава 2. СООТНОШЕНИЯ МЕВДУ ПОЛНЫМИ МНОЖЕСТВАМИ
§ 6. Предварительные результаты
§ 7. Основная лемма.
§ 8. О М-полных множествах.
§ 9. Об {.-полных множествах
Глава 3. СООТНОШЕНИЯ МЕВДУ СТЕПЕНЯМИ
§ 10. О 6tt- и I- степенях внутри it-степени.
§ II. Об степенях внутри '{.-степени.
§ 12. Об т-степенях внутри степени.
§ 13. Об одной гипотезе Ю.Ершова.
Глава 4. ОБ 1- И ГП-СВОДИМОСТИ
§ 14. Об {-степенях внутри m-степени.
§ 15. Один пример решетки L(X).
§ 16. Три теоремы об wi-степенях.
§ 17. Разрешимость V3 -теории LM