RUS  ENG JOURNALS   PEOPLE   ORGANISATIONS   CONFERENCES   SEMINARS   VIDEO LIBRARY   PERSONAL OFFICE
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








Steklov Mathematical Institute Seminar
February 21, 2019 16:00, Moscow, Steklov Mathematical Institute of RAS, Conference Hall (8 Gubkina)
 


Ordinals and conservativity spectra of arithmetical theories

L. D. Beklemishev
Video records:
MP4 1,963.7 Mb
MP4 891.7 Mb

Number of views:
This page:285
Video files:106
Youtube Video:

L. D. Beklemishev
Photo Gallery


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

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



Abstract: We will give a survey of the results on the role of ordinals and ordinal notation systems in the study of formal theories, as well as present some open problems in this area. The recently emerged notion of conservativity spectrum bears more information on a formal theory than its proof-theoretic ordinal. It leads to algebraic type of structures, associated with a given theory. This allows one to obtain a more refined classification of theories than using more traditional approaches.

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