Seminar for Mathematical Logic

PROGRAM Program Seminara za logiku za april 2007

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
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.)

PETAK, 20. april 2007.G. U 15.15 SATI
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.

PETAK, 27. april 2007.G. U 16.15 SATI
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.

U Beogradu, 10.04.2007.

Rukovodioci seminara:
Dr. Djordje Vukomanovic i Dr. Kosta Dosen.

Azurirani programi svih seminara Matematickog instituta SANU mogu se naci na adresi www.mi.sanu.ac.yu.