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"
March 4, 2024 14:30, Moscow, online
 


Modal logics of provability predicates

Taishi Kurahashi

Kobe University
Video records:
MP4 1,112.9 Mb
MP4 805.9 Mb
Supplementary materials:
Adobe PDF 303.3 Kb

Number of views:
This page:144
Video files:53
Materials:13



Abstract: Hilbert and Bernays (1939) proposed some conditions (derivability conditions) of provability predicates that are sufficient for the second incompleteness theorem to hold. Subsequently, the proof of the second incompleteness theorem using some conditions of provability predicates established by L"ob (1955) became widely known. Other derivability conditions sufficient for the second incompleteness theorem were also given by Jeroslow (1973) etc. On the other hand, derivability conditions for provability predicates for which the second incompleteness theorem does not hold, such as Rosser's provability predicate, have also been studied. In this talk, I will present some known results on the study of derivability conditions by means of modal logic.

Supplementary materials: logic_online_seminar.pdf (303.3 Kb)

Language: English
 
  Contact us:
 Terms of Use  Registration to the website  Logotypes © Steklov Mathematical Institute RAS, 2024