| RUS ENG |
| Полная версия |
|
|
|
| СЕМИНАРЫ |
|
Семинары отдела математической логики "Теория доказательств" и "Logic Online Seminar"
|
|||
|
|
|||
|
Интерпретируемость для фрагментов арифметики Пресбургера. Часть 1 А. А. Запрягаев |
|||
|
Аннотация: Состоится доклад по работе А. Виссера и Й. Зутхаута. Будет обсуждаться гипотеза об эквивалентности тождественной любой интерпретации арифметики Пресбургера в самой себе. |
|||