Logic List Mailing Archive

17th Meeting on "Set Theory and its neighbours"

19 November 2008
Bristol, U.K.

On Wednesday 19th November there will be the 17th meeting in the series 
"Set Theory and its Neighbours" in the Mathematics Dept. at the University 
of Bristol. The theme will be

"Set Theory and Its Neighbours: Set Theory, Games, and Bounded Arithmetic 
"

The speaker list and titles are below,and further information can be found 
at:

http://www.logic.univie.ac.at/~welch/

All are welcome,

Philip Welch


11.30 B. Loewe ILLC Amsterdam
 	*Large Cardinals, Measurability and cofinality patterns of the first
three uncountable cardinals*
13.30 A. Dawar Cambridge
 	*Descriptive Complexity of Parity Games.*
14:30 Tea
15.00 R. Pettigrew Bristol
 	*The foundations of arithmetic and analysis in bounded finite set 
theory *

  16.00 More Tea, Coffee During:

16:15 P. D. Welch Bristol
 	*Locating strategies for Sigma^0_3 games.*
17:15 A. Beckmann Swansea
 	*On the complexity of parity games (joint work with Faron Moller) *