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, 01. jun 2007.G. U 16.15 SATI
PETAK, 08. jun 2007.G. U 16.15 SATI
PETAK, 15. jun 2007.G. U 15.15 SATI
U Beogradu, 07.05.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 jun 2007
Zarko Mijajlovic (Matematicki fakultet Univerziteta u Beogradu)
Neke primene nestandardne analize
(Some applications of non-standard analysis)
Rec je o primenama nestandardne analize na dinamicke sisteme i
diferencijalne jednacine.
Mark A. Brown (Philosophy Department, Syracuse University,
Syracuse, New York, USA)
A Graph-Theoretic Approach to Some Problems in the Theory of Branching
Quantifiers
By a Mostowski graph, we mean a finite graph with disjoint sets A,
E of vertices, with all edges directed from A to E. A number of
results about Mostowski graphs are found to be useful in
establishing semantic and syntactic results about branching
quantifiers, which Henkin characterized as partially ordered sets of
first order quantifiers, but which can better be characterized as
sets of dependencies among quantifiers.
Aleksandar Perovic (Saobracajni fakultet Univerziteta u Beogradu)
Lindenbaum-Tarski algebre
(The Lindenbaum-Tarski Algebras)
Na predavanju ce biti reci o karakterizaciji Boole-ovih algebri
preko Lindenbau-Tarski iskaznih algebri, kao i veza ovih algebri s
forsingom.
Dr. Djordje Vukomanovic i Dr. Kosta Dosen.