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, 06.12.2024. u 16:15, Kneza Mihaila 36, sala 301f i Online
Elena Popova, International Laboratory for Logic, Linguistics and Formal Philosophy, HSE University, Moscow
ON SEMANTICS OF FIRST-ORDER JUSTIFICATION LOGIC WITH BINDING MODALITIES
The talk will focus on first-order justification logic . The first-order justification logic provides syntactical constructions able to capture the difference between global and local parameters in proofs.
Specifically, for a formula F(x) with a free parameter x, it distinguishes between the following two propositions:

“t is a proof of a formula F which contains x free”,
“t is a proof of a formula F for a given value of x”, a proposition with the parameter x.

Similarly, the first-order modal language can be supplied with the syntactical tools for dealing with global and local parameters using binding modalities. In this talk, I will present first-order justification logic, FOLP^\Box, formulated in a joint language that combines justification terms and binding modalities. I will consider Kripke-style semantics for FOLP^\Box and its strong completeness with respect to the proposed semantics.
The present talk is based on joint work with T. L. Yavorskaya.

Petak, 13.12.2024. u 16:15, Kneza Mihaila 36, sala 301f i On-line
Predrag Tanović, MI SANU
MINIMAL FIELDS OF FINITE RANK ARE ALGEBRAICALLY CLOSED
Tarski je 1948. godine dokazao da teorije algebarski zatvorenih polja fiksirane karakteristike eliminiše kvantifikatore. Posledica toga je da je svako algebarski zatvoreno polje minimalna struktura u modelsko teorijskom smislu: svaki definabilan podskup je ili konačan ili kokonačan.Hipoteza Podewskog iz 1973. godine je najstariji otvoreni problem u algebarskoj teoriji modela, a predvidja obrat: svako minimalno polje je algebarski zatvoreno. Otvoren problem je i jaka verzija: ako je p(F) konacan ili kokonacan podskup od F za svaki polinom sa koeficijentim iz beskonacnog polja F, onda je F algebraski zatvoreno.
Hipoteza Podewskog je dokazana za slučaj polja pozitivne karakteristike (Wagner 2000.) i polja koja nemaju definabilno parcijalno uredjenje sa beskonačnim lancima (Krupinski, Tanovic, Wagner 2013). Na predavanju ću skicirati razloge zbog kojih ona važi i za svako polje konačnog ranga. Struktura prvog reda M ima beskonačan rang ako postoji njeno elementarno proširenje N i njegov beskonačan podskup X, tako da za svaki prirodan broj n postoji definabilna 1-1 funkcija iz X^n u N.

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