Seminar for
Mathematical Logic
PROGRAM
Plan rada Seminara za logiku za maj 2013.
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, 17.05.2013. U 16:15 (MI SANU, 301f)
Slavko Moconja, Matematicki fakultet, Beograd
ASIMETRICNI REGULARNI TIPOVI
apstrakt: Asimetricni regularni tipovi imaju na prirodan nacin definisan
operator zatvorenja na svom lokusu. Takodje, svaki Morlijev niz
fiksiranog asimetricnog regularnog tipa je linearno uredjen i tip
uredjenja maksimalnog Morlijevog niza u fiksiranom modelu ne zavisi od
izbora niza.
Kao primer, pokazacemo da je svaki 0-invarijantan globalni tip
u maloj o-minimalnoj teoriji regularan. Pod dodatnim uslovima
pokazuje se da je svaki model teorije, do na izomorfizam, odredjen
tipovima uredjenja maksimalnih Morlijevih nizova fiksne familije
1-tipova. Ovi uslovi vaze pod pretpostavkom da teorija ima
manje od kontinum prebrojivih modela, sto daje novi dokaz
Votove hipoteze za o-minimalne teorije.
PETAK, 24.05.2013. U 16:15 (MI SANU, 301f)
Branislav Prvulovic, Matematicki fakultet, Beograd
UVOD U GREBNEROVE BAZE
apstrakt: Zadatak utvrdjivanja da li dati polinom pripada datom
idealu u polinomijalnoj algebri cesto je veoma zahtevan. Jedan
od pristupa njegovom resavanju je teorija Grebnerovih baza.
Bice uvedeni osnovni pojmovi ove teorije uz kratak osvrt na
njenu primenu u kohomologiji.
PETAK, 31.05.2013. U 16:15 (MI SANU, 301f)
Nebojsa Mudrinski, Departman za matematiku i informatiku,
Univerzitet u Novom Sadu
VISI KOMUTATORI - REZULTATI I OTVORENI PROBLEMI
apstrakt: A. Bulatov je 2001. godine uveo pojam viseg komutatora
tako sto
je uopstio komutator u Maljcevljevim algebrama na komutator proizvoljne
arnosti (duzine) na mrezi kongruencija. Pokazalo se da su visi
komutatori dobro sredstvo za resavanje problema u teoriji klonova,
pitanjima polinomijalne kompletnosti i ekvivalentnosti. Interesantno je
videti koje se osobine prenose sa binarnog komutatora i na koji nacin.
Prirodno se uopstava pojam abelovosti na supernilpotentnost. Najnoviji
rezultat o 2-supernilpotentnim Maljcevljevim algebrama pokazuje da visi
komutatori (u ovom slucaju ternarni) daju jaci uslov od binarnih:
forsiraju postojanje grupne polinomne operacije u 2-supernilpotentnoj
Maljcevljevoj algebri, dok u 2-nilpotentnoj Maljcevljevoj algebri mozemo
tvrditi ,,samo" postojanje kvazigrupne polinomne operacije.
OBAVESTENJA:
Ukoliko zelite mesecne programe ovog Seminara u elektronskom
obliku, obratite se: zpetric@mi.sanu.ac.rs ili tane@mi.sanu.ac.rs.
Programi svih seminara Matematickog instituta SANU nalaze se na
sajtu: www.mi.sanu.ac.rs
Beograd,
Srdacan pozdrav,
rukovodioci seminara Zoran Petric i Predrag Tanovic