Интерпретируемость для фрагментов арифметики Пресбургера. Часть 1
А. А. Запрягаев
Аннотация:
Состоится доклад по работе А. Виссера и Й. Зутхаута. Будет обсуждаться гипотеза об эквивалентности тождественной любой интерпретации арифметики Пресбургера в самой себе.
Обратная связь: