Enrique Casanovas

School of Mathematics
Tf. (34) 93 402 16 60
Postal address:
Departament de Probabilitat, Lògica,
i Estadística
Universitat de Barcelona
Gran Via 585
E-08007 Barcelona
Página en español
Logic Seminar
Model Theory Seminar
Research Group on Model Theory
Lecture notes
Seminar and talks notes
Administrative appointments
Teaching, Academic Year 2015 - 2016
First Semester
Advanced Model Theory. Master in Pure and Applied Logic.
Mondays and Wednesdays from 9:00 to 10:30.
Lecture room S2, School of Mathematics UB.
Lenguaje y razonamiento matemático. Problem groups C (Mondays and Wednesdays from 11:00 to 12:00) and G (Mondays andWednesdays from 18:00 to 19:00). Lecture room S1, Schools of Mathematics, UB.
Second Semester
Lógica y lenguajes. Computer Science Degree. Problem group. Fridays from 17:00 to 19:00. Lecture room B5, School of Mathematics UB.
Research groups: Group in Logic (Agaur), Model theory (MEyC)
Research topics: Logic and particularly Model Theory. Stability and simple theories. Groups of automorphisms. Equality-free first order logic. Omitting types theorems. Expandable models. Imaginaries and hyperimaginaries. Logical constants.
Articles and books
Compactly expandable models and stability The Journal of Symbolic Logic 60 (1995) , 673-683.
Omitting types in incomplete theories (joint with Rafel Farré). The Journal of Symbolic Logic 61(1996), 236-245.
On elementary equivalence for equality-free logic (joint with Pilar Dellunde and Ramon Jansana). Notre Dame Journal of Formal Logic 37 (1996), 506-522.
A test for expandability. Archive for Mathematical Logic 37 (1998), 2 21-234. Available as a pdf file at AML
A nonlow supersimple theory (joint with Byunghan Kim) Notre Dame Journal of Formal Logic 39 (1998), 507-518.
The number of types in simple theories. Annals of Pure and Applied Logic 98 (1999), 69-86. Available as a pdf file at APAL
Stable theories with a new predicate (joint with Martin Ziegler) The Journal of Symbolic Logic 66 (2001), 1127-1140
Galois groups of first order theories (joint with Daniel Lascar, Anand Pillay and Martin Ziegler) Journal of Mathematical Logic 1 (2001), 305-319.
Local supersimplicity and related concepts (joint with Frank Wagner). The Journal of Symbolic Logic 67 (2002), 744-758.
Some remarks on indiscernible sequences. Mathematical Logic Quarterly 49 (2003), 475-478. Available as a pdf file at MLQ
Imaginarios e hiperimaginarios. Teorema XXII/1-2 (2003), 23-41.
Dividing and chain conditions. Archive for Mathematical Logic 42 (2003), 815-819. Available as a pdf file at AML
The free roots of the complete graph (joint with Frank Wagner). Proceedings of the American Mathematical Society 132 (2004) 1543-1548. Available at PAMS
Weak forms of elimination of imaginaries (joint with Rafel Farré). Mathematical Logic Quarterly 50 (2004) 126-140. Available as a pdf file at MLQ
La lógica en el siglo XX.   In M. Garrido, L.M. Valdés and L. Arenas (ed)   El legado filosófico y científico del siglo XX.  Ed. Cátedra, Colección Teorema, Madrid 2005. Pages 701-722.
|T|+-resplendent models and the Lascar group   (joint with Rodrigo Peláez)   Mathematical Logic Quarterly   Volume 51 (2005), Issue 6, p. 626-631. Available as a pdf file at MLQ
Panorama de temas de teoría de modelos   Lecturas Matemáticas, Volumen 27 (Especial)(2006) pág. 137-159. Available as a pdf file at LM
Logical operations and invariance   The Journal of Philosophical Logic   Volume 36 (2007), Number 1, p. 33-60. Available as a pdf file at JPL
Simplicity simplified   Revista Colombiana de Matemáticas  Volume 41 (2007), p. 263-277. Available as a pdf file at RCM
Simple Theories and Hyperimaginaries   Lecture Notes in Logic , Cambridge University Press 2011.
On ω-categorical many-sorted theories   (jointly with Rodrigo Peláez and Martin Ziegler)   Fundamenta Mathematicae   Volume 214 (2011), p. 285-294.
Generic stability and stability   (jointly with Hans Adler and Anand Pillay)   The Journal of Symbolic Logic   Volume 79 (2014), p. 179-185.
To appear
Normal hyperimaginaries   (con Joris Potier)   To appear in Archive for Mathematical Logic
Lecture Notes
Lógica 1 . Academic year 1999/2000 pdf (341 KB).
Lógica 2 . Academic year 1999/2000 pdf (231 KB).
Teoría Axiomática de Conjuntos . Academic year 1997/98. pdf (295 KB)
Teoría de Modelos . Ph. D. Course. Version from September 2003. pdf (625 KB)
Seminar and Talks Notes
Seminario sobre hiperimaginarios y grupos de Galois. Version from January 123, 2001. pdf (227 KB)
Model Theory Research Seminar. University of California at Berkeley, September 6 and 20, 2002. Newelski's analysis of Lascar strong types. pdf (154 KB)
Model Theory Seminar. University of Barcelona, October 2005. Teorías monobasadas. pdf (212 KB)
Model Theory Seminar. University of Barcelona, April 2006. Groups in stable and simple theories pdf
First International Workshop on the History and Philosophy of Logic, Mathematics and Computation. ILCLI, San Sebastián, November 2000. The recent history of model theory pdf
Model Theory Seminar. University of Barcelona, September 2010. NIP formulas and theories pdf
Model Theory Seminar. University of Barcelona, September 2011. More on NIP and related topics pdf
Model Theory Seminar. University of Barcelona, March 2012. The number of countable models pdf
Model Theory Seminar. University of Barcelona, July 2013. Around NTP2 pdf
Administrative Appointments
Member of the executive board of the IMUB
Member of the advisory council of the Doctoral School of the University of Barcelona
Coordinator of the doctoral programme on Pure and Applied Logic of the University of Barcelona
Conferences and other scientific meetings
First Joint International Meeting RSME-SCM-SEMA-SIMAI-UMI   Bilbao, June 30 - July 4, 2014.
Classification Theory Workshop   NIMS Daejeon, Korea. August 6-9, 2014.
Workshop on Model Theory and Applications   Universidad de Sevilla, February 6-7, 2014
Model Theory: Groups, Geometry, and Combinatorics   Mathematisches Forschungsinstitut Oberwolfach, January 7-12, 2013
Jornadas "Lógica Matemática en España" en memoria de Alejandro Fernández Margarit   Universidad de Sevilla, September 19-20, 2012
Summer Talks in Model Theory at Barcelona   IMUB, Universitat de Barcelona, July 16, 2012.
Model Theory in Wroclaw   Wroclaw (Poland), June 16-19 2012.
First CSLI Workshop on Logic, Rationality, and Interaction   CSLI, Stanford University, 1June 1-3, 2012.
Neostability Theory   BIRS (Banff, Alberta, Canada), January 29-February 3 2012.
Logic Colloquium 2011   Barcelona, July 11-16 2011.
Erlagol 2011   Erlagol (Altai, Russia), June 22-27 2011.
Recent developments in Model Theory   Oléron, June 5-11 2011.
Mini-school in Model Theory   Torino, February 9-11 2011.
III Jornadas de lógica, computación e inteligencia artificial  ETS Ingeniería Informática, Universidad de Sevilla, 30 November - 2 December 2010.
Model Theory: around valued fields and dependent theories  Mathematisches Forschungsinstitut Oberwolfach, January 3 - 9 de 2010.
Workshop on stability related issues  CMAF, Universidade de Lisboa, October 15 - 16 2009.
Stable methods in unstable theories  Banff Interntational Research Station for Mathematical Innovation an Discovery, Banff (Alberta, Canadá), February 8 - 13 2009.
Modnet Final conference   Barcelona, November 3-7 2008.
Around classification theory   Leeds (UK), June 27 - 30 2008.
International Workshop on Model Theory   Yonsei University, Seoul (Korea), November 14 - 15, 2007.
Model Theory and Groups   Mathematisches Forschungsinstitut Oberwolfach, January 14 - 20, 2007.
Modnet Mid-term conference   Antalya (Turkey), November 4 - 11, 2006.
Logicum Lugdunensis.   Lyon (France), June 22 - 24, 2006.
Freiburg MODNET Summer School,   Universität Freiburg, April 19 - 22, 2006.
MODNET Winter talks in Model Theory at the University of Barcelona   IMUB, Barcelona, January 17 - 19, 2006.
Model Theory in Bogotá (Summer 2005).   Universidad de los Andes, Bogotá and Villa de Leyva, August 15 - 19, 2005.
XV Congreso Nacional de Matemáticas de Colombia.   Hotel Tequendama, Bogotá August 8 - 12, 2005.
Pure Model Theory. An Isaac Newton Satellite Workshop   University of East Anglia, Norwhich July 4 - 8, 2005.
Model Theory and Applications to Algebra and Analysis   Isaac Newton Institute for Mathematical Sciences, Cambridge January 17 - July 15, 2005.
Graduiertenkolloquium WS 2004/2005   Graduiertenkolleg Mathematische Logik und Anwendungen. Freiburg, 8 de noviembre de 2004.
Model Theory and Complex Analytic Geometry  Mathematisches Forschungsinstitut Oberwolfach, July 18 - 24, 2004.
Model Theory Meeting Barcelona - Bogotá  Barcelona, June 21 - 23, 2004
XII Simposio Latinoamericano de Lógica Matemática  San José, Costa Rica, January 12 - 16, 2004.
Conference on Field Theory and related Model Theory  Graduiertenkolleg Mathematische Logik und Anwendungen, Freiburg, October 10 - 12, 2003.
12th International Congress of Logic, Methodology and Philosophy of Science  Oviedo, August 7 - 13, 2003.
Rencontre Internationale de Théorie des Modèles   Institute Henri Poincaré, Paris, June 6-7, 2003. Organized by the Paris Logic Group from the University Paris 7 - Denis Diderot.
HPLMC-02 Second International Workshop on the History and Philosophy of Logic, Mathematics and Computation  ILCLI, San Sebastián, November 7-9, 2002.
Simpleton 2002 - The Workshop .  Centre International de Rencontres Mathématiques, Luminy, Marseilles, July 8-12, 2002.
Euro-Conference in Model Theory and Applications.   Ravello, May 27 - June 1, 2002.
Conference on Model Theory .  Birmingham, February 27 - March 2, 2002.
Workshop on Model Theory .  IMUB, Barcelona, November 25- 27, 2001.
First International Workshop on the History and Philosophy of Logic, Mathematics and Computation.  ILCLI, San Sebastián, November 9-11, 2000.
Workshop on Simple Theories   The Fields Institute, Toronto, October 19-22, 2000.
Congreso Nacional de Matemáticas-2000.  Bogotá August 14-18, 2000.
The 6th Barcelona Logic Meeting   Barcelona, July 5-8, 2000.
Modelltheorie, Oberwolfach 2000.   Mathematisches Forschungsinstitut Oberwolfach, January 16-22, 2000.
November 14, 2015