Рекурсивный математический анализ

Рекурсивная теория чисел. Определение по рекурсии. Исчисление равенств. Логические константы. Основные теоремы арифметики. Формализация примитивно рекурсивной арифметики. Сведения к примитивной рекурсии. Устранение параметров. Гёделевская нумерация и неполнота арифметики. Рекурсивный анализ. Рекурсивная сходимость. Рекурсивная и относительная непрерывность. Рекурсивная и относительная дифференцируемость. Относительный интеграл. Элементарные функции. Трансфинитные ординалы. Рекурсивная иррациональность и трансцендентность. Разрешимый фрагмент рекурсивной арифметики. Конструктивистская теория плоских кривых. Формализация рекурсивной арифметики. Эквивалентность некоторых формализации примитивно рекурсивной арифметики.