Bogotá Meeting in Model Theory

Grupo de Lógica de Bogotá Universidad Nacional de Colombia - Mathematics Department - 405-202

Bogotá, December 10 to 14, 2001

The Bogotá Model Theory Meeting is devoted centrally (though not excusively) to Model Theory for Non Elementary Classes. The main aim of the meeting is to exchange information on the current status of Model Theory for Non Elementary Classes and connection between this and other areas in Model Theory.

The meeting is sponsored partially by Colciencias (Grupos y Centros de Investigación) and Universidad Nacional de Colombia (Programa Semilleros de Investigación).

Speakers

The following speakers have confirmed their intention of participating:

John Baldwin(University of Illinois at Chicago)
Alexander Berenstein(Notre Dame University)
Xavier Caicedo (Universidad de los Andes, Bogotá)
Mirna Dzamonja (University of East Anglia, Norwich, UK)
Rami Grossberg (Carnegie Mellon University, Pittsburgh)
Andres Montoya (Universidad Nacional, Bogotá)
Javier Moreno (University of Illinois at Urbana-Champaign)
Monica VanDieren (Carnegie Mellon University, Pittsburgh)
Andrés Villaveces (Universidad Nacional, Bogotá)

Tutorial

The meeting will be preceded by an advanced tutorial on Model Theory for Non Elementary Classes by Rami Grossberg (December 5 to 8, 10 am - 1 pm 405-202).

Talks and Lectures

In the mornings, there will be one or two one-hour lectures (on model theory for non elementary classes and also more general connected topics)

	12-10-2001	12-11-2001	12-12-2001	12-13-2001	12-14-2001
10:00	R. Grossberg Problems in the classification theory for AEC	J. Baldwin Reflections on AEC	X. Caicedo Some remarks on projective classes	M. VanDieren Stability in Abstract Elementary Classes
11:00	A. Berenstein Hilbert spaces and the C^* algebra of compact operators	M. VanDieren Categoricity in Abstract Elementary Classes	J. Moreno - Towards Hrushovski structure on AECs A. Montoya - Model Theory of Sheaves

Discussions

In the afternoons, starting at 2:30 pm, we will hold discussions on more specific issues in the subject. Here is the plan for these discussions. There is one subject per afternoon, and one responsible person each session. We expect the discussion to start prompted by the first talk in the afternoon. Here is the plan:

	12-10-2001	12-11-2001	12-12-2001	12-13-2001	12-14-2001
14:30	A. Villaveces Model Homogeneity = Galois Saturation (under AP)	M. VanDieren More on uniqueness of limit models.	J. Baldwin Some remarks on [Sh 394].	A. Villaveces The proof in [Sh 394]: overall structure.

For more info, email villavec@matematicas.unal.edu.co, or check http://www.matematicas.unal.edu.co/logica/.

Comments:
Andrés Villaveces - villavec@matematicas.unal.edu.co
Javier Arturo Moreno Camargo - jamoreno@math.uiuc.edu