48 Схема рефлексий для арифметики

Обсуждаем определение схемы рефлексий RFN() для арифметических теорий: глобальная, равномерная, локальная схема рефлексий.
Альтернативное выражение через n-Consis.
Рефлексии для классов арифметической иерархии.
Теорема о взаимной консервативности PA и EA+RFN(EA).
💰 Если Вам нравится мой контент, то Вы можете поддержать канал:
через сервис Boosty: boosty.to/math...