Видеотека
RUS  ENG    ЖУРНАЛЫ   ПЕРСОНАЛИИ   ОРГАНИЗАЦИИ   КОНФЕРЕНЦИИ   СЕМИНАРЫ   ВИДЕОТЕКА   ПАКЕТ AMSBIB  
Видеотека
Архив
Популярное видео

Поиск
RSS
Новые поступления






Workshop on Proof Theory, Modal Logic and Reflection Principles
17 октября 2017 г. 15:00–15:35, Москва, Математический институт им. В.А. Стеклова РАН
 


On the naturalness of the consistency operator

J. Walsh
Видеозаписи:
MP4 951.1 Mb
MP4 260.7 Mb

Количество просмотров:
Эта страница:108
Видеофайлы:44

J. Walsh


Видео не загружается в Ваш браузер:
  1. Проверьте с Вашим администратором, что из Вашей сети разрешены исходящие соединения на порт 8080
  2. Сообщите администратору портала о данной ошибке

Аннотация: It is a well-known empirical phenomenon that natural axiomatic theories are well-ordered by their consistency strength. ​ ​To investigate this phenomenon, we examine recursive monotonic functions on the​ ​ Lindenbaum algebra of EA. We prove that no such function sends every​ ​ consistent $\varphi$ to a sentence with deductive strength strictly between​ ​ $\varphi$ and $(\varphi\land \mathrm{Con}(\varphi))$. We generalize this result to iterates of consistency into the effective transfinite. We then prove that for any recursive​ ​ monotonic function $f$, if there is an iterate of $\mathrm{Con}$ that bounds $f$ everywhere, then $f$ must be somewhere equal to an iterate of $\mathrm{Con}$.

Язык доклада: английский

ОТПРАВИТЬ: VKontakte.ru FaceBook Twitter Mail.ru Livejournal Memori.ru
 
Обратная связь:
 Пользовательское соглашение  Регистрация посетителей портала  Логотипы © Математический институт им. В. А. Стеклова РАН, 2021