Seminar for Mathematical Logic

PROGRAM

Predavanja na Logičkom seminaru možete uživo pratiti preko linka
https://miteam.mi.sanu.ac.rs/asset/iYxPidYtFqBC9sT7a.
Ukoliko želite i da učestvujete u diskusiji, to možete preko linka
https://miteam.mi.sanu.ac.rs/asset/oaqCm4EyPhHR6kM6N
na kome prethodno treba napraviti nalog, t.j. popuniti registracioni formular koji se pojavi nakon klika.
Neulogovani korisnici mogu pratiti prenos predavanja na ovom linku (ali ne mogu postavljati pitanja osim putem chata):
https://miteam.mi.sanu.ac.rs/call/8HX5pHW3fhfr2vFnF/Sud4M5nyx6-CCpaW4etWS1ZEM4wCvSsPuSxPAQ9Yfs6

Petak, 19.04.2024. u 16:15, Kneza Mihaila 36, sala 301f i On-line
Lev Beklemishev, Steklov Mathematical Institute; M. V. Lomonossov Moscow State University, Moscow
TOPOLOGICAL INTERPRETATIONS OF PROVABILITY LOGIC
We discuss the topological interpretation of provability logic, introduced by H. Simmons and L. Esakia in the 1980s, and some recent advances in this area. The approach is based on a striking analogy between G"odelian sentences expressing the consistency of a formal theory and the operation of topological derivative acting on a scattered topological space. The interpretation extends to polymodal provability logic and leads to set-theoretic principles, some of which are independent of ZFC. All the needed terminology (provability logic, scattered spaces, etc.) will be explained in the talk.
Zajednički sastanak sa Odeljenjem za matematiku.

OBAVEŠTENJA:

Ukoliko zelite mesecne programe ovog Seminara u elektronskom obliku, obratite se: tane@mi.sanu.ac.rs. Programi svih seminara Matematickog instituta SANU nalaze se na sajtu: www.mi.sanu.ac.rs

Beograd,
Srdacan pozdrav,
Predrag Tanovic
rukovodilac seminara