Seminar for
Mathematical Logic
PROGRAM
Sastanci Seminara za matematicku logiku Matematickog instituta
SANU odrzavace se i u akademskoj 2004/2005. godini po pravilu petkom od
16:15 sati u sali 2 na I spratu zgrade SANU, Beograd, Kneza Mihaila 35.
PETAK, 04. februar 2005.G. U 16.15 SATI
PETAK, 11. februar 2005.G. U 16.15 SATI
PETAK, 18. februar 2004.G. U 16.15 SATI
PETAK, 25. februar 2005.G. U 16.15 SATI
Petak 04. mart 2005.G. U 16.15 SATI
OBAVESTENJE:
Seminar za Matematicku logiku Matematickog instituta SANU, Filozofski
fakultet Univerziteta u Beogradu i Drustvo za cistu i primenjenu logiku
organizuju komemorativnu konferenciju povdom petogodisnjice smrti
Aleksandra Krona, Profesora Filozofskog fakulteta i jednog od osnivaca i
dugogodisnjeg rukovodioca ovog Seminara. Prijave na Konferenciju i rezimee
(do 5 redova) treba slati do 15. aprila 2005.g. na adresu:
rellog@mi.sanu.ac.yu .
THE RELEVANCE OF LOGIC - CONFERENCE IN MEMORY OF ALEKSANDAR KRON (1937 -
2000), BELGRADE, 12 - 14 MAY 2005
The Logic Seminar of the Mathematical Institute of the Serbian Academy of
Sciences and Arts, the Faculty of Philosophy of the University of
Belgrade and the Society for Pure and Applied Logic will organize a
conference with the title above to commemorate the fifth anniversary of
the death of Aleksandar Kron. Submissions for the conference and abstracts
(up to 5 lines) should be sent to: rellog@mi.sanu.ac.yu , before 15 April
2005.
U Beogradu, 8.02.2005.
Rukovodioci seminara:
Azurirani programi svih seminara Matematickog instituta SANU mogu se naci
na adresi www.mi.sanu.ac.yu.
Program Seminara za logiku za februar 2005
Nema sastanka seminara
Petar Markovic (Departman za matematiku i informatiku
Prirodno-matematickog fakulteta Univerziteta u Novom Sadu)
JEDNA NEOBICNA ALGEBARSKA MREZA (A strange algebraic lattice)
Rezime: U okviru pokusaja resavanja problema Tarskog o konacnoj bazi za
kvazivarijetete (Da li je za datu konacnu algebru odlucivo da ona generise
kvazivarijetet sa konacnom bazom identiteta ili ne?) postalo je neophodno
steci bolje razumevanje algebarskih meet-semidistributivnih mreza.
Najnoviji primer R. McKenzey-a pokazuje da takve mreze ne moraju sadrzati
netrivijalne meet-proste elemente, mada moraju sadrzati gust podskup (cak
strogo) meet-nesvodljivih elemenata. Predavac ce pokusati da smesti ovaj
rezultat u kontekst trenutnog stanja resavanja problema Tarskog i u grubim
crtama opise ideju dokaza.
Petar Markovic (Departman za matematiku i informatiku
Prirodno-matematickog fakulteta Univerziteta u Novom Sadu)
KURS IZ MODERNE UNIVERZALNE ALGEBRE: DRUGI DEO
(A course in modern Universal Algebra: Second part)
Ovo je pocetak drugog dela Kursa koji je posvecen teoriji
komutatora u kongruencijski modularnim varijetetima(bar tri predavanja),
sto je jedna od najznacajnijih metoda moderne Univerzalne algebre.
PRVA TEMA: OSNOVNE OSOBINE KOMUTATORA (Basic properties of commutators)
Rezime: Predavanje je koncentrisano na tehnicke leme i razvoj aparature
racuna s komutatorima u modularnim varijetetima.
Petar Markovic (Departman za matematiku i informatiku
Prirodno-matematickog fakulteta Univerziteta u Novom Sadu)
KURS IZ MODERNE UNIVERZALNE ALGEBRE: DRUGI DEO
(A course in modern Universal Algebra: Second part)
DRUGA TEMA: ABELOVE ALGEBRE (Abel's algebras)
Rezime: Prve zanimljive primene komutatora u modularnim varijetetima
ukljucuje Teoremu Gumm-a i karakterizaciju Abelovih algebri.
Petar Markovic (Departman za matematiku i informatiku
Prirodno-matematickog fakulteta Univerziteta u Novom Sadu)
KURS IZ MODERNE UNIVERZALNE ALGEBRE: DRUGI DEO
(A course in modern Universal Algebra: Second part)
TRECA TEMA: NILPOTENTNE ALGEBRE (Nilpotent algebras)
Tehnika razvijena do ovog predavanja omogucuje nam da damo, izmedju
ostalog, novu karakterizaciju modularnih varijeteta.
Konferencijski komitet: Slavisa Presic, Zoran Markovic, Zarko Mijajlovic,
Miodrag Kapetanovic, Milan Bozic, Slobodan Vujosevic, Djordje Vukomanovic,
Kosta Dosen, Zivan Lazovic, Svetlana Knjazeva-Adamovic, Aleksandar
Perovic, Milos Milosevic.
Conference Committee: Slavisa Presic, Zoran Markovic, Zarko Mijajlovic,
Miodrag Kapetanovic, Milan Bozic, Slobodan Vujosevic, Djordje Vukomanovic,
Kosta Dosen, Zivan Lazovic, Svetlana Knjazeva-Adamovic, Aleksandar
Perovic, Milos Milosevic.
Dr. Djordje Vukomanovic i Dr. Kosta Dosen.