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

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