Myvideo

Guest

Login

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

Uploaded By: Myvideo
1 view
0
0 votes
0

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

Share with your friends

Link:

Embed:

Video Size:

Custom size:

x

Add to Playlist:

Favorites
My Playlist
Watch Later