UB UPC

RESEARCH GROUP ON MODEL THEORY

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

   
Members of the research project Model Theory and Applications (MRTN-CT-2004-512234):
Hans Adler   Kurt Gödel Research Center for Mathematical Logic, Vienna.
Enrique Casanovas  (Scientist in charge of the research project and of the Logic Group)  University of Barcelona (e.casanovas@ub.edu)
Andrés Cordón Franco   University of Sevilla (acordon@us.es)
David Fernández Duque   University of Sevilla (dfduque@us.es)
Joost J. Joosten  University of Barcelona (jjoosten@ub.edu)
Francico Félix Lara Martín   University of Sevilla (fflara@us.es)
Juan Carlos Martínez  University of Barcelona (jcmartinez@ub.edu)
Daniel Palacín  (Ph.D. student) University of Barcelona (dpalacin@ub.edu)
 
Other members:
Silvia Barbina   (Marie Curie postdoctoral fellow) University of Barcelona (silviabarbina@iol.it)
Santiago Cárdenas Martín (Ph.D. student) University of Barcelona (scardenas@uma.es)
Pilar Dellunde, Universitat Autònoma de Barcelona (pilar.dellunde@uab.es)
Rafel Farré  Universitat Politècnica de Catalunya
Joris Potier (Ph.D. student, former Modnet predoctoral fellow) University of Barcelona (z.-@laposte.net)

   
Former members:
Panteleimon Eleftheriou (Modnet postdoctoral fellow) IMUB, University of Barcelona (pelefthe@gmail.com)
Raimon Elgueta  Universitat Politècnica de Catalunya (raimon.elgueta@upc.es)
Javier Moreno   University of Waterloo (bluelephant@gmail.com)
Rodrigo Peláez   (rpelaezpelaez@yahoo.com)
Juan Francisco Pons, University of Barcelona (jfpons@ub.edu)

   
News:
Luis Jaime Corredor will stay in Barcelona from September 1 to December 20.

   
Preprints and other unpublished scripts:
Silvia Barbina and Domenico Zambella Generic expansions of countable models   Submitted, October 31, 2010.
Enrique Casanovas Lascar strong types and forking in NIP theories.   Preprint, March 22, 2014
Enrique Casanovas Around NTP2   Lecture Notes for the Model Theory Seminar 2012-13. Version of April 16, 2014.
Enrique Casanovas Counting countable models   Lecture Notes for the Model Theory Seminar 2011-12. Version of March 11, 2012.
Enrique Casanovas More on NIP and related topics   Lecture Notes for the Model Theory Seminar 2010-11. Version of September 13, 2011.
Enrique Casanovas NIP formulas and theories   Lecture Notes for the Model Theory Seminar 2009-10. Version of September 19, 2010.
Enrique Casanovas Pregeometries and minimal types   Lecture Notes for the Model Theory Seminar 2006. Version of November 11, 2008.
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.
Ehud Hrushovski, Daniel Palacín and Anand Pillay On the Canonical Base Property.   Submitted, May 17, 2012.
Daniel Palacín On omega-categorical simple theories.   To appear in Olerón Proceedings (edited by Z. Chatzidakis et al.). Special number of The Notre Dame Journal of Formal Logic.
Daniel Palacín and Frank O. Wagner Ample thoughts   Submitted, April 1, 2011.
Daniel Palacín and Frank O. Wagner Elimination of hyperimaginaries and Stable independence in simple CM-trivial theories   To appear in Archive for Mathematical Logic.
Rodrigo Peláez, About the Lascar group   Ph.D. Thesis. Universidad de Barcelona, April 2008.
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:
Charles Steinhorn, Vassar College. March 11 - 15, 2014.
Martin Ziegler, University of Freiburg. April 6 - 11, 2013.
Ludomir Newelski, University of Wroclaw. February 13-19, 2013.
Ronald Bustamante, Universidad de Costa Rica. February 4-11, 2012.
Martin Ziegler, University of Freiburg. January 31 -February 2, 2010.
Eric Jaligot, University of Lyon. February 9-10, 2010.
Margarita Otero, Universidad Autónoma de Madrid. May 20-21, 2010.
Franzisca Jahnke, University of Oxford. April 9, 2010.
Andrés Villaveces, Universidad Nacional de Colombia. September 10, 2010.
Rami Grossberg, Carnegie Mellon University . September 10, 2010.
Hans Adler, University of Vienna. December 12-15, 2010.
Ronald Bustamante, Universidad de Costa Rica. January 19-25, 2009.
Ramakrishnan, Janak, University of Lyon. April 15, 2009.
Hans Adler, University of Vienna. February 15-23, 2008.
Xavier Caicedo, Universidad de los Andes en Bogotá. March 29 - April 7, 2008.
Martin Ziegler, University of Freiburg. April 2-6, 2008.
Katrin Tent, University of Bielefeld. April 2-6, 2008.
Margarita Otero, Universidad Autónoma de Madrid. April 3-4, 2008.
Kathryn Vozoris, University of Illinois at Chicago. May 25-23, 2008.
Juan Diego Caycedo, University of Oxford. June 13-19, 2008.
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  April 19, 2014