Seminars
RUS  ENG    JOURNALS   PEOPLE   ORGANISATIONS   CONFERENCES   SEMINARS   VIDEO LIBRARY   PACKAGE AMSBIB  
Calendar
Search
Add a seminar

RSS
Forthcoming seminars




Seminars "Proof Theory" and "Logic Online Seminar"
May 13, 2019 18:30, Moscow, Steklov Mathematical Institute (8 Gubkina), room 313 + Zoom
 


How strong are derivatives of normal functions?

Anton Freund
Video records:
MP4 1,275.1 Mb
MP4 2,808.4 Mb

Number of views:
This page:311
Video files:70

Anton Freund



Abstract: A normal function is a strictly increasing function from ordinals to ordinals that is continuous at limit stages. The fixed points of any normal function constitute the range of another normal function, called its derivative. In my talk I will explain how the notions of normal function and derivative can be formalized in second-order arithmetic. Under this formalization, the statement that every normal function has a derivative is shown to be equivalent to transfinite (bar) induction for Pi^1_1-formulas. The talk is based on joint work with Michael Rathjen. Full details can be found in arXiv:1904.04630.
 
  Contact us:
 Terms of Use  Registration to the website  Logotypes © Steklov Mathematical Institute RAS, 2024