RUS  ENG JOURNALS   PEOPLE   ORGANISATIONS   CONFERENCES   SEMINARS   VIDEO LIBRARY   PERSONAL OFFICE
Video Library
Archive
Most viewed videos

Search
RSS
New in collection





You may need the following programs to see the files






Workshop on Proof Theory, Modal Logic and Reflection Principles
October 17, 2017 15:00, Moscow, Steklov Mathematical Institute
 


On the naturalness of the consistency operator

J. Walsh
Video records:
MP4 951.1 Mb
MP4 260.7 Mb

Number of views:
This page:42
Video files:20

J. Walsh


Видео не загружается в Ваш браузер:
  1. Установите Adobe Flash Player    

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

Abstract: 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}$.

Language: English

SHARE: VKontakte.ru FaceBook Twitter Mail.ru Livejournal Memori.ru
 
Contact us:
 Terms of Use  Registration  Logotypes © Steklov Mathematical Institute RAS, 2017