ὅδε οἶκος, ὦ ἑταῖρε, μνημεῖον ἐστιν ζῴων τῶν σοφῶν ἀνδρῶν, καὶ τῶν ἔργων αὐτῶν

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.