MISANU

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, 20.10.2023. u 16:15, Kneza Mihaila 36, sala 301f i On-line
Stanislav Speranski, Steklov Mathematical Institute, Moscow
ELEMENTARY THEORIES OF CLASSES OF PROBABILITY SPACES
We shall be concerned with a two-sorted probabilistic language, denoted by QPL, which contains quantifiers over events and over reals. It is obtained by combining the elementary language of Boolean algebras and that of ordered fields in a natural way, and can be viewed as an elementary language for reasoning about probability spaces. The fragment of QPL containing only quantifiers over reals (but not over events) is a variant of the well-known `polynomial' probability logic from [Fagin, Halpern, Megiddo 1990: Section 6]. First we prove that the QPL-theory of the Lebesgue measure on [0, 1] is decidable, and moreover, all atomless spaces have the same QPL-theory. Then we introduce the notion of elementary invariant for QPL, and use it to translate the semantics for QPL into the setting of elementary analysis. This allows us to obtain further decidability results as well as to provide exact complexity upper bounds for a range of interesting undecidable theories.
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,

rukovodilac seminara Predrag Tanovic