filmov
tv
48 Схема рефлексий для арифметики
Показать описание
Обсуждаем определение схемы рефлексий RFN() для арифметических теорий: глобальная, равномерная, локальная схема рефлексий.
Альтернативное выражение через n-Consis.
Рефлексии для классов арифметической иерархии.
Теорема о взаимной консервативности PA и EA+RFN(EA).
💰 Если Вам нравится мой контент, то Вы можете поддержать канал:
Альтернативное выражение через n-Consis.
Рефлексии для классов арифметической иерархии.
Теорема о взаимной консервативности PA и EA+RFN(EA).
💰 Если Вам нравится мой контент, то Вы можете поддержать канал:
0:39:12
0:48:18
0:11:46
0:06:51
1:54:29
0:52:25
0:10:00
0:42:28
0:16:48
0:06:48
0:12:02
0:48:45
1:52:57
6:17:10
0:08:45
0:07:22
1:00:01
1:07:41
1:27:36
2:46:31
0:06:51
0:12:29