7-11 July 2003, SWIFT 2003 "Summer Workshop In Finestructure Theory"

SWIFT 2003, Bonn
Summer Workshop in Finestructure Theory

http://www.math.uni-bonn.de/people/logic/Events/SWIFT/

University of Bonn, Mathematical Institute, Bonn, Germany, July 7 to 11, 2003

The SWIFT Summer Workshop will consist of an intense one-week tutorial course on a simplified finestructure theory for Goedel's constructible universe, and of invited and contributed talks. The workshop is equally directed towards specialists in constructibility theory and towards researchers in logic who are interested in a compact introduction to the constructible universe and its finestructure.

The tutorial course will be given by Bernhard Irrgang, Peter Koepke and Michael Moellerfeld and will provide a comprehensive treatment of constructibility theory. It will start from Goedel's well-known L-hierarchy and lead up to square-principles, morasses and the Jensen covering theorem.

There will be four one-hour invited talks on finestructure theory and also on its relation to proof theory. Invitations have already been accepted by

• Wolfram Pohlers (Münster)
• Ralf-Dieter Schindler (Vienna)
• Philip Welch (Bristol)

Contributed talks of 30 minutes from all fields of mathematical logic are welcome.

Scientific and Organizing Committee: St. Bold, B. Irrgang, P. Koepke, B. Loewe, M. Moellerfeld.

Deadlines:
Contributed talks: June 1, 2003; decisions on acceptance will be made before June 15.
Financial support: June 1, 2003.
Registration: June 15, 2003