MISANU

PROGRAM

Plan rada Seminara za logiku za OKTOBAR 2021.

Seminar za matematicku logiku Matematickog instituta SANU nastavlja rad u letnjem semestru 2011/2012.g. na ovoj adresi: Kneza Mihaila 36/III sprat, soba 301f - sala za seminare. Cetvrtkom posle podne, ali od 15:00 sati, odrzavace se predavanja na Seminaru iz verovatnosnih logika pod rukovodstvom Profesora Miodraga Raskovica koji je u decembru 2007. dobio akreditaciju Naucnog veca Instituta. Na taj nacin, ponovo, kao pre vise decenija, postoje dva logicka seminara.

PETAK, 22.10.2021. u 16:15, sala 301f, MISANU, Knez Mihajlova 36.
Predrag Tanović, MI SANU
LINEARIZOVANO DRVEĆE
Na predavanju će biti reči o modelsko teorijskim osobinama (linearizovanog, obojenog) drveća i njihove grupe automorfizama. Drvo je parcijalno uredjenje (M,\lhd) u kome je skup prethodnika svakog elementa linearno uredjen i svaki par elemenata ima najveće donje ograničenje. Obojeno drvo ima i unarne predikate, a linearizovavno drvo ima i linearno uredjenje < koje širi \lhd tako da je svaki konus C_a={x:a\lhd x}<-konveksan skup.

PETAK, 29.10.2021. u 16:15, sala 301f, MISANU, Knez Mihajlova 36 i Online
Dejan Ilić, Saobracajni fakultet Beograd
DEFINABILNA LINEARNA UREDJENJA U SLABO KVAZI O-MINIMALNIM TEORIJAMA
Pojam slabo kvazi o-minimalnih teorija (linearno uredjenih struktura) je uveo Kudajbergenov kao prirodno proširenje klase o-minimalnih (ova klasa je nejviše izučavana), slabo o'minimalnih i kvazi o'minimalnih teorija (struktura). Na predavanju se bavimo klasifikacijom definabilnih linearnih uredjenjia na modelima slabo kvazi o-minimaln teorije i prezentujemo rezultate zajedničkog rada sa Slavkom Moconjom.

Na MI SANU važe kovid mere:
Obavezno je nošenje maski i održavanje distance. Broj prisutnih na predavanju ograničen na najviše 10 (uključujući i predavača).

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