Games in Logic, Language and Computation 14½

GLLC 14½

The Fourteenth Workshop on Games in Logic, Language and Computation

Amsterdam, The Netherlands, 28 September 2007, 9:20-18:50

Games are an important tool in set theory and model theory. This GLLC meeting (the 14th in the GLLC series) will focus on the current work of students from Amsterdam and Helsinki dealing with aspects of games in set theory and model theory. It is also to be seen as an encounter between Dutch and Finnish culture in mathematical logic and a great opportunity to learn about each others' research plans, goals, techniques and questions.

Date. September 28, 2007.
Time. 9:20 - 18:50
Location. Universiteit van Amsterdam, Roeterseilandcomplex, Plantage Muidergracht 24, P.3.27.
(Map of the Roeterseilandcomplex)
How to get to the ILLC.
Schedule.
10:00-10:30 Daisuke Ikegami Forcing absolutenes and regularity
10:30-11:00 Coffee break
11:00-11:30 Yurii Khomskii Regularity Properties and Determinacy
11:30-11:40 Break
11:40-12:10 Jokke Hasa Proper Forcing Axiom implies 2aleph-0=aleph-2
12:10-13:40 LUNCH
13:40-14:10 Ioanna Dimitriou Topological regularities in second order arithmetic
14:10-14:20 Break
14:20-14:50 Lauri Keskinen Isomorphism and second order equivalence
14:50-15:20 Coffee Break
15:20-15:50 Laura Sutinen Suslin trees and Kurepa trees on ω1
15:50-16:00 Break
16:00-16:30 Brian Semmes The tree game
16:30-16:40 Break
16:40-17:10 Lauri Tuomi On the κ-cub game
17:10-17:40 Coffee Break
17:40-18:10 Vadim Kulikov Weak Ehrenfeucht-Fraïssé-game
18:10-18:20 Break
18:20-18:50 Jakub Szymanik Complexity of natural language quantifiers
afterwards Party for workshop participants (details to be announced)
Sponsors. Marie Curie Research Training Site GLoRiClass (MEST-CT-2005-020841).
Department of Mathematics and Statistics, University of Helsinki.
MALJA Finnish Graduate School of Mathematical Logic.
Organizers. Daisuke Ikegami (Amsterdam), Juliette Kennedy (Helsinki & Utrecht).
Former GLLC workshops
Last changed: September 24th, 2007