Seminar for Mathematical Logic

PROGRAM

Plan rada Seminara za logiku za MAJ 2022.

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.

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.

PETAK, 27.05.2022. u 16:15, sala 301f, Knez Mihajlova 36 i On-line
Petar Marković, PMF Novi Sad
SMB ALGEBRE
Varijeteti algebri koji imaju Tejlorovu operaciju su najopštija klasa u kojoj opšta teorija Univerzalne algebre "ima nešto da kaže". Definisaćemo jedan varijetet algebri sa jednom binarnom i jednom ternarnom operacijom koji se prirodno pojavljuje u konačno generisanim Tejlorovim varijetetima. Uporedićemo oba dokaza Hipoteze o dihotomiji Problema zadovoljavanja uslova (A. Bulatov i D. Žuk, podelili nagradu ACM za najbolji rad godine 2017.) na primeru SMB algebri i pokazati da su, bar u SMB algebrama, sličniji nego što se do sada pretpostavljalo.
Onda ćemo definisati Parkovu hipotezu, poznat i stari problem Univerzalne algebre, i dokazati da u SMB algebrama važe neki početni koraci potrebni za dokaz te hipoteze. Konačno, pokazaćemo jedan spekulativan pravac kojim bi se eventualni dokaz Parkove hipoteze mogao uopštiti sa SMB algebri na Tejlorove algebre. Parkova hipoteza za Tejlorove algebre bila bi veoma cenjen rezultat u oblasti Univerzalne algebre, što je opravdanje za deo predavanja u kom ne pričamo o dokazanim nego samo o željenim rezultatima.
Rezultati koje ćemo predstaviti dokazani su u saradnji sa P. Đapićem, M. Marotijem, R. Mekenzijem i A. Prokićem. Tokom predavanja biće pomenuti i neki detalji u dokazima teorema A. Bulatova i D. Žuka.

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