RUS  ENG JOURNALS   PEOPLE   ORGANISATIONS   CONFERENCES   SEMINARS   VIDEO LIBRARY   PACKAGE AMSBIB
Forthcoming seminars
Seminar calendar
List of seminars
Archive by years
Register a seminar

Search
RSS
Forthcoming seminars





You may need the following programs to see the files








Seminars "Proof Theory" and "Logic Online Seminar"
July 6, 2020 17:30, Steklov Mathematical Institute, Moscow
 


Giant and illusionary giant Goodstein principles

Andreas Weiermann
Video records:
MP4 148.8 Mb

Number of views:
This page:101
Video files:8
Youtube Video:

Andreas Weiermann


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

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



Abstract: We analyze some Goodstein principles which are defined with respect to natural fast growing functions labeled by ordinals not exceeding $\varepsilon_0$. Some, the giant ones, will be proof-theoretic strong whereas others, the illusionary giant ones, will turn out to be comparatively weak although they look strong at first sight.

Language: English

* Join Logic Online Seminar via Zoom, 06.07.2020 17:30 MSK (GMT +3): https://zoom.us/j/887484923

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