Logic List Mailing Archive

SWIFT 2003 "Summer Workshop in Finestructure Theory", July 2003, Bonn

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 G?del'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 M?llerfeld and will provide a comprehensive treatment of
constructibility theory. It will start from G?del's well-known L-hierarch
y
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. L?we, M. M?llerfeld.

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