Seminar for
Mathematical Logic
PROGRAM
Sastanci Seminara za matematicku logiku Matematickog instituta
SANU odrzavace se i u akademskoj 2006/2007. godini po pravilu petkom od
16:15 sati u sali 2 na I spratu zgrade SANU, Beograd, Kneza Mihaila 35.
PETAK, 13. april 2007.G. U 16.15 SATI
PETAK, 20. april 2007.G. U 15.15 SATI
PETAK, 27. april 2007.G. U 16.15 SATI
U Beogradu, 10.04.2007.
Rukovodioci seminara:
Azurirani programi svih seminara Matematickog instituta SANU mogu se naci
na adresi www.mi.sanu.ac.yu.
Program Seminara za logiku za april 2007
Predrag Tanovic (Matematicki institut SANU, Beograd)
O broju prebrojivih elementarnih pro\v sirenja uredjenih struktura
(On the number of countable elementary extensions of ordered
structures)
Neka je (M, <, ...) prebrojiva struktura prvog reda gde je <
irefleksivna, tranzitivna, binarna relacija s beskonacnim lancima
na M. Dva njena elementarna prosirenja smatramo 'izomorfnim'
ako postoji izomorfizam koji fiksira M tacku po tacku.
Predavanje ce sadrzati diskusiju sledece hipoteze: (M, <, ...) ima
kontinuum prebrojivih, medjusobno ne-'izomorfnih'
elementarnih prosirenja.
(Let (M, <, ...) be a countable first-order strucure where < is
an irreflexive, transitive, binary relation having infinite chains
on M. We shall say that two of its elementary extensions are
'isomorphic' if there is an isomorphism fixing M pointwise. In the
talk, I will discuss the following conjecture: (M, <, ...) has
continuum pairwise non-'isomorphic' elementary extensions.)
Milica Pajic (Matematicki fakultet Univerziteta u Beogradu)
Origami konstrukcije (Origami Constructions)
Pored standardnih geometrijskih konstrukcija pomocu lenjira i
sestara, postoje i drugi nacini konstrukcija - kao sto su
origami konstrukcije (origami - umetnost savijanja papira bez
upotrebe bilo kojeg pribora). Njih je 1992.g. otkrio
italijansko-japanski matematicar Humiaki Huzita, dopunio jos
jednom aksiomom Kosiro Hatori, a dokazao da je takva aksiomatika
potpuna Robert Lang. Uz pomoc ove vestine, moguce je resiti neke
anticke probleme kao sto su: trisekcija ugla i udvostrucenje kocke, koje
se (konstrukcije) inace ne mogu izvrsiti pomocu lenjira i sestara.
Ovo predavanje ima za cilj da prezentuje matematicku teoriju
origamija i afirmise njenu primenu.
Miodrag Kapetanovic (Matematicki institut SANU, Beograd)
Tabloi za $L_{\omega_{1}\omega }$ logiku
(Tableaux for $L_{\omega_{1}\omega }$ Logic)
Formulise se tablo sistem za $L_{\omega_{1}\omega }$ logiku i
daju primeri primene na probleme prezervacije i interpolacije u ovoj
logici.
Dr. Djordje Vukomanovic i Dr. Kosta Dosen.