50 Years of Seminar for Analysis and Foundations of Mathematics

led by Academician Bogoljub Stanković

Mathematical Logic and General Topology

September 5-8, 2012


Wednesday, September 5th

09.00-09.45Registartion
09.45-10.00Welcome words
Morning session
10.00-10.55S. D. Friedman A real that kills the GCH everywhere
11.00-11.30Coffee break
11.30-12.25N. DobrinenTukey types of ultrafilters
12.30-12.55J. StaryCoherent structures on Boolean algebras
13.00-15.00Lunch break
Afternoon session
15.00-15.55P. Tanović Vaught's conjecture for theories with Skolem functions
16.00-16.25P. GiordanoUltrafilter sets smaller than their complements
16.30-16.55Coffee break
Evening session
16.55-17.20A. Pavlović Characterization of closed sets
in the topology ${\mathcal O}_{\lambda_{ls}}$
17.25-17.50B. Šobot Random graphs and independent families
17.55-18.50O. Hadžić 50 Years of Seminar for Analysis and Foundations of Mathematics

Thursday, September 6th

Morning session
10.00-10.55J. Bagaria Topologies on ordinals and stationary reflection
11.00-11.30Coffee break
11.30-12.25J. López-AbadFinite families of finite sets and the Banach-Saks property
12.30-12.55A. FarhatHyperspaces as partially ordered sets
13.00-15.00Lunch break
Afternoon session
15.00-15.55M. Kurilić Towards a forcing-related classification of\\[1mm] relational structures
16.00-16.25T. WeinertAsymmetric partition relations between ordinal numbers
16.30-16.55Coffee break
Evening session
16.55-17.20B. Kuzević Maximal chains of isomorphic subgraphs of the Rado graph
17.25-17.50D. Doder Some recent advances in probability logic
17.55-18.20M. Boričić On probabilistic inference rules
18.25-18.50N. Ikodinović Probability logics and their applications
20.00-Conference dinner

Friday, September 7th

Morning session
10.00-10.55I. Juhász Resolvability
11.00-11.30Coffee break
11.30-12.25M. DžamonjaUniversality problems in the theory of Banach spaces
12.30-12.55D. VlitasAn infinite self dual theorem
13.00-15.00Lunch break
14.30-Visit to Petrovaradin fortress

Saturday, September 8th

10.00-                                   Conference exursion