Mathematical Logic: Set theory and model theory

2009 fall

Participants

David Asperó Universitat de Barcelona Period: 5 - 20 September & 1 - 14 November Fields: Set theory Interests:

Joan Bagaria ICREA & Universitat de Barcelona Period: 1 - 29 November Fields: Set theory Interests: Philosophy, politics, mushroom hunting

John T. Baldwin University of Illinois at Chicago Period: 3 September - 30 October Fields: Model theory and connections with set theory Interests: Politics, history

Benno van den Berg Technische Universität Darmstadt Period: 15 October - 15 December Fields: Categorical logic, constructive set theory Interests: Literature, philosophy, chess

James Cummings Carnegie Mellon University Period: 15 November - 15 December Fields: Set theory, combinatorics Interests:

Vlitas Dimitrios University Paris 7 Period: 26 November - 6 December Fields: Ramsey theory in infinite dimensions Interests: swimmer, runner

Carlos A. Di Prisco Instituto Venezolano de Investigaciones Cientificas (IVIC) Period: 30 October - 29 November Fields: Set theory Interests:

Natasha Dobrinen University of Denver Period: 24 November - 15 December Fields: Set theory, boolean algebras Interests: Classical and other music

Mirna Džamonja University of East Anglia Period: 31 August - 28 September Fields: Set theory and connections with other subjects Interests: Literature, languages

Ali Enayat American University, Washington DC Period: 31 August - 31 October Fields: Set theory and model theory Interests: Persian literature, football (soccer)

Fredrik Engström Göteborg University Period: 1 September - 13 November Fields: Models of arithmetic, logical constants Interests: Biking, running

Ilijas Farah York University Period: 1 - 30 September Fields: Set theory, operator algebras Interests: Music, reading

Jana Flašková University of West Bohemia Period: 2 September - 16 December Fields: Set theory Interests: Languages, arts

Pietro Galliani Universiteit van Amsterdam Period: 13 - 30 November Fields: Logic of imperfect information Interests: Chess

Anton Hedin Uppsala University Period: 1 September - 15 December Fields: Contructive mathematics Interests:

Lauri Hella University of Tampere, Finland Period: 20 October - 15 December Fields: Finite model theory, model logic Interests: Music, arts, sports

Tapani Hyttinen University of Helsinki Period: 5 - 30 October Fields: Model theory Interests:

Daisuke Ikegami Universeit van Amsterdam Period: 4 September - 15 December Fields: Set theory Interests: Music, Basketball

Hajime Ishihara Japan Advanced Institute of Science and Technology Period: 13 November - 1 December Fields: Constructive mathematics Interests:

István Juhász A. Rényi Inst. Math. Period: 31 August - 30 September Fields: Set-theory, Topology Interests:

Kaisa Kangas University of Helsinki Period: 26 October - 1 November Fields: Set theory, logic, philosophy of mathematics Interests: language, literature

Teppo Kankaanpää University of Helsinki Period: 5 October - 15 December Fields: Set theory Interests: Photography

Alexander S. Kechris California Institute of Technology Period: 1 - 30 September Fields: Mathematical logic Interests:

Juliette Kennedy University of Helsinki Period: 1 September - 15 December Fields: Logic and set theory and foundations of mathematics Interests: Aesthetic, contemporary art and cuisine

Lauri Keskinen Universiteit van Amsterdam Period: 1 September - 15 December Fields: Second order logic, model theory Interests: Go

Meeri Kesälä University of Helsinki Period: 15 October - 15 November Fields: Model theory, non-elementary classes Interests: My son Kyösti

Peter Koepke University of Bonn Period: 1 - 14 December Fields: Set theory, foundations of mathematics Interests: Music, piano, pipe organ

Martin Koerwien CRM Barcelona Period: 18 - 31 October Fields: Abstract elementary classes, classification theory Interests:

Menachem Kojman Ben-Gurion University of the Negev Period: 1 - 12 September Fields: Set theory Interests: Music

Juha Kontinen University of Helsinki Period: 2 - 30 November Fields: Finite model theory Interests:

Vera Koponen Uppsala universitet Period: 1 September - 15 December Fields: Logic, discrete mathematics Interests:

Roman Kossak City University of New York Period: 1 September - 15 December Fields: Model theory, nonstandard models of arithmetic Interests:

Vadim Kulikov University of Helsinki Period: 1 September - 15 December Fields: Model theory, knot theory and set theory Interests: Guitar, animation

Paul Larson Miami University Period: 1 September - 15 October Fields: Set theory Interests:

Ingrid Lindström Uppsala University Period: 1 September - 15 December Fields: Mathematical logic Interests: Reading

Jorge Lopez-Abad Instituto de Ciencias Matemáticas (ICMAT), CSIC Period: 1 - 13 December Fields: Set theory, Banach spaces, infinite combinatorics Interests: Cinema, nature

Kerkko Luosto University of Helsinki Period: 1 September - 15 December Fields: Finite and abstract model theory Interests: Chess

Menachem Magidor Hebrew University of Jerusalem Period: 1 September - 15 December Fields: Logic, set theory, applications of logic to CS Interests: History

Per Martin-Löf Stockholm University Period: 1 September - 15 December Fields: Constructivity Interests: Philosophy

Paul McKenney Carnegie Mellon University Period: 1 September - 1 October Fields: Set theory, operator algebras Interests: Rock climbing

Heike Mildenberger The Hebrew University of Jerusalem Period: 15 November - 15 December Fields: Set theory, combinatorics, model theory Interests: Reading, languages

Bill Mitchell University of Florida Period: 12 October - 15 December Fields: Set theory - inner models of forcing Interests: Native plants

Justin Moore Cornell University Period: 1 - 30 September Fields: Set theory Interests:

Dag Normann Oslo University Period: 5 - 9 October Fields: Logic - computability theory Interests: Cooking

Jaap van Oosten Utrecht University Period: 30 September - 14 December Fields: Logic, probe theory, topos theory, computability Interests: Literature, chess, history

Erik Palmgren Uppsala University Period: 1 September - 15 December Fields: Constructive mathematics and its foundations Interests:

Marcin Sabok Wroclaw University Period: 1 September - 15 December Fields: Set theory Interests:

Ernest Schimmerling Carnegie Mellon University Period: 1 - 30 September Fields: Set theory Interests:

Ralf Schindler Universität Münster Period: 14 September - 5 November Fields: Set theory Interests: Reading, jogging

Philipp Schlicht Universität Bonn Period: 31 August - 16 December Fields: Descriptive set theory Interests: Travelling, hiking

Saharon Shelah The Hebrew University of Jerusalem and Rutgers University Period: 1 - 30 September Fields: Model theory, set theory and their applications Interests:

John Steel University of California, Berkeley Period: 1 - 30 September Fields: Set theory Interests: Music, history

Viggo Stoltenberg Uppsala University Period: 5 - 31 October Fields: Logic, computability theory Interests:

Thomas Streicher TU Darmstadt Period: 20 September - 9 October Fields: Constructive logic, semantics, categorical logic Interests: Reading, music, wine, food

Stevo Todorcevic University of Toronto and C.N.R.S Université Paris 7 Period: 4 September - 15 December Fields: Set theory, combinatorics Interests:

Boban Velickovic Université de Paris 7 Period: 3 - 31 October Fields: Set theory Interests: Literature, film

Andrés Villaveces Universidad Nacional de Colombia Period: 1 October - 15 November Fields: Model theory, non elementary classes Interests: Music, literature, fine cuisine, walking

Jouko Väänänen University of Helsinki and of Amsterdam Period: 29 August - 15 December Fields: Set theory, model theory Interests: Classical music, piano

Olov Wilander Uppsala University Period: 1 September - 15 December Fields: Type theory, constructive set theory, categories Interests: Dancing, Classical music

Agatha Walczak-Typke University of Vienna (most recently) Period: 1 September - 15 December Fields: Model theory (esp. non-elementary classes), set theory, algebra Interests: Serious music (performance + concert-going), clarinet, U.S. politics, squash racquets, cooking/fine food

Wolfgang Wohofsky Vienna University of Technology Period: 14 - 27 September Fields: Set theory, forcing Interests:Music, piano, photography

W. Hugh Woodin University of California at Berkeley Period: 9 September - 12 December Fields: Set theory Interests:

Fan Yang University of Helsinki Period: 2 - 13 November Fields: Dependence logic, mathematical logic Interests:

Pedro Zambrano Universidad Nacional de Colombia - Bogota Period: 30 September - 16 October Fields: Model theory Interests: Brazilian music