UB UPC

RESEARCH GROUP ON MODEL THEORY

Members
News
Preprints
Visitors
Model theory around the world
MODNET Barcelona Conference
Some model theorists
Links

   
Members:
Silvia Barbina   (Marie Curie postdoctoral fellow) University of Barcelona (silviabarbina@iol.it)
Enrique Casanovas  (Scientist in charge of Modnet Node 12 and of the Logic Group)  University of Barcelona
Pilar Dellunde, Universitat Autònoma de Barcelona (pilar.dellunde@uab.es)
Panteleimon Eleftheriou (Modnet postdoctoral fellow) IMUB, University of Barcelona (pelefthe@gmail.com)
Raimon Elgueta  Universitat Politècnica de Catalunya (raimon.elgueta@upc.es)
Rafel Farré  Universitat Politècnica de Catalunya
Juan Carlos Martínez  (Scientist in charge of the Model Theory DGICYT research project MTM 2005-00203) University of Barcelona (jcmartinez@ub.edu)
Javier Moreno   University of Illinois at Urbana-Champaign (bluelephant@gmail.com)
Rodrigo Peláez  (Ph.D. student) University of Barcelona (rpelaezpelaez@yahoo.com)
Juan Francisco Pons, University of Barcelona (jfpons@ub.edu)
Joris Potier (Ph.D. student, Modnet predoctoral fellow) University of Barcelona (potier.jo@free.fr)

   
Former members:
Hans Adler   The University of Leeds

   
News:
Rodrigo Peláez will defend his doctoral thesis on April 4, 2008.
Javier Moreno will defend his doctoral thesis in the University of Illinois at Urbana-Champaign on April 10, 2008.
Hans Adler, currently at the University of Leeds, will visit the group from February 15 to February 23, 2008.
Katie Chicot and Bridget Webb, from the Open University (UK), will visit the group in the week of October 1-7, 2007. They are currently working jointly with Silvia Barbina.
Marco Ferreira, Ph D student at East Anglia under the supervision of David Evans, will visit the group in October 2007.
Pantelis Eleftheriou has been appointed to the Modnet Post-doctoral position in Barcelona and will start his 9-month stay in October 2007.
Joris Potier will join the Logic Group at Lyon from September 2007 to November 2007.
Modnet Training Workshop, Humboldt Universität Berlin , September 10-14 2007, Berlin
Hans Adler finished his stay in Barcelona in May 2007 and from September 2007 has been appointed to a three year EPSRC position in the Logic Group at Leeds.
Modnet Antalya Conference , November 4-11 Antalya, Turkey
John Baldwin is visiting us for three and a half months starting in September 2006. His stay is funded by DURSI in 2005PIV2.
Hans Adler has been appointed to the Modnet 9-month Post-doctoral position in Barcelona and has started his stay in September.
Silvia Barbina has obtained a two-year Marie Curie Postdoctoral Fellowship and has joined the group in February 2006.
Modnet Summer School , Universität Freiburg, April 19-22 Freiburg
Modnet Training Workshop , Université Claude Bernard Lyon 1 , June 15-21 Lyon
Logicum Lugdunensis , Université Claude Bernard Lyon 1 , June 22-24 Lyon
Winter Talks in Model Theory at the University of Barcelona  Anand Pillay and Bruno Poizat will visit Barcelona and they will give talks at the IMUB on January 17-19, 2006.
The Logic Group has been confirmed as a consolidated group by DURSI and has been funded in SGR05.
The Model Theory Group has obtained funds from MEC for the next three years.
Joris Potier has been appointed to the Modnet Ph.D. studentship position in Barcelona and has started his three-year stay in October 2005.

   
Preprints and other unpublished scripts:
Silvia Barbina and Domenico Zambella Generic expansions of countable models   Submitted, July 12, 2007.
Enrique Casanovas Stable and simple theories, lecture notes   Notes for the course on stable and simple theories, version of September 5, 2007.
Enrique Casanovas Groups in stable and simple theories.   Notes for the Model Theory Seminar. April 2006.
Enrique Casanovas Teorías monobasadas.   Notes for the Model Theory Seminar. October 2005.
Rodrigo Peláez, Clasificación de grupos abelianos   Undergraduate Thesis, supervised by X. Caicedo. Universidad de los Andes, Bogotá 2001.
Rodrigo Peláez, Sobre el grupo de Lascar   Ph. D. research sufficiency report, supervised by E. Casanovas. September 2004.
Rodrigo Peláez, 1-eliminación de imaginarios en los cuerpos algebraicamente cerrados con valoración   Ph. D. research sufficiency report, supervised by R. Farré. September 2004.
Juan Francisco Pons, Teorías simples   Ph. D. research sufficiency report, supervised by E. Casanovas. September 2002.
Juan Francisco Pons, Teoría de modelos de los cuerpos algebraicamente cerrados y cuerpos pseudofinitos   Ph. D. research sufficiency report, supervised by R. Farré. September 2002.

   
Visitors:
Andrés Villaveces, Universidad Nacional de Colombia. November 20-24, 2007.
Marco Ferreira, University of East Anglia, Norwich. October 1-31, 2007
Katie Chicot and Bridget Webb, Open University (UK). October 1-7, 2007
Alexander Berenstein, Universidad Nacional de Colombia. June 11-15, 2007.
Martin Koerwien, Université Paris 7. April 25-27, 2007.
Amador Martín Pizarro, Université Lyon 1. March 25-31, 2007.
Özlem Beyarslan, Université Paris 7. March 25-31, 2007.
Dugald Macpherson ,University of Leeds. June 1-7, 2006
Hans Adler ,Universität Freiburg. May 9-11, 2006
Domenico Zambella , Università di Torino. April 4-9, 2006
Anand Pillay, University of Illinois at Urbana-Champaign and University of Leeds. January 15-20, 2006.
Bruno Poizat, Université Lyon 1. January 16-20, 2006.
Silvia Barbina, Università di Torino. May 30 - June 2, 2005.
Alf Onshuus, Universidad de los Andes, Colombia. February 17 - March 5, 2005.
Amador Martín Pizarro, Humboldt Universität zu Berlin. October 4-15, 2004.
Markus Junker, Albert-Ludwigs-Universität Freiburg. October 4-8, 2004.
Andrés Villaveces, Universidad Nacional de Colombia. June 19-25, 2004.

   
Model theory around the world:
 
Universität Freiburg
Institute Camille Jordan. Université Claude-Bernard (Lyon 1)
Équipe de Logique Mathématique. CNRS, Paris
Humboldt-Universität zu Berlin.
Hebrew University of Jerusalem
University of Oxford
University of Leeds
The University of Manchester
Finite Model Theory Page
The University of Helsinki
University of London
The University of Edinburgh
L'Université de Mons-Hainaut
The University of Birmingham
The University of East Anglia Norwich
Universität Konstanz
University of Illinois at Urbana-Champaign
University of Notre Dame
University of Illinois at Chicago
Rutgers University
University of California at Berkeley. Department of Mathematics
University of California at Berkeley. The Group in Logic and the Methodology of Science
Carnegie Mellon University
McMaster University
Universidad de los Andes, Bogotá
Universidad Nacional de Colombia, Bogotá
Wesleyan University
University of Maryland

   
Some model theorists:
 
Hans Adler
Tuna Altinel
John T. Baldwin
Andreas Baudisch
Itaï Ben-Yaacov
Alessandro Berarducci
Alexander Berenstein
Thomas Blossier
Alexandre Borovik
Elisabeth Bouscaren
Steven Buechler
Xavier Caicedo
Zoe Chatzidakis
Gregory Cherlin
Luis Jaime Corredor
Adrien Deloro
Mario Edmundo
David M. Evans
Jörg Flum
Rami Grossberg
Bradd Hart
Deirdre Haskell
Assaf Hasson
C. Ward Henson
Bernhard Herwig
Martin Hils
Wilfrid Hodges
Ehud Hrushovski
Tapani Hyttinen
Alexandre Ivanov
Eric Jaligot
Markus Junker
Richard Kaye
Byunghan Kim
Alexei Kolesnikov
Piotr Kowalski
Krzysztof Krupinski
Daniel Lascar
H. Dugald Macpherson
Dave Marker
Rahim Moosa
Ludomir Newelski
Alf Onshuus
Margarita Otero
Kobi Peterzil
Anand Pillay
Françoise Point
Bruno Poizat
Mike Prest
Thomas Scanlon
Shelah's Archive
Sergei Starchenko
Katrin Tent
Carlo Toffalori
Ivan Tomasic
Alex Usvyatsov
Lou van den Dries
Evgueni Vassiliev
Andrés Villaveces
Frank O. Wagner
Alex Wilkie
Martin Ziegler
Boris Zilber

 
Links:
Modnet
Logic Seminar
Model Theory Seminar
Institut de Matemàtica de la Universitat de Barcelona (IMUB)
Centre de Recerca Matemàtica (CRM)
Association for Symbolic Logic
Mathematical logic around the world. University of Bonn.
Departament de Lògica, Història i Filosofia de la Ciència (UB)
Departament de Matemàtica Aplicada II (UPC)
Departament de Filosofia (UAB)
Barcelona Research Group on Set Theory
Research Group in Non-Classical Logics (Barcelona)
Master in Pure and Applied Logic

Page maintained by Enrique Casanovas
Last updated  08/03/2008