Enrique Casanovas

School of Mathematics and Computer Science
Tf. (34) 93 402 16 60
Postal address:
Departament de Matemàtiques i Informàtica
Universitat de Barcelona
Gran Via 585
E-08007 Barcelona
Página en español
Universitat de Barcelona
Logic Seminar
Model Theory Seminar
Research Group on Model Theory
The Journal of Symbolic Logic
Archive for Mathematical Logic
Lecture notes
Seminar and talks notes
Administrative appointments
Teaching, Academic Year 2019 - 2020
First Semester
Advanced Model Theory. Master in Pure and Applied Logic.
Mondays 9:00--10:00 and Fridays 11:30--13:00.
Lecture room S2, School of Mathematics and Computer Science UB.
Teoría elemental de conjuntos.
Mondays 11:00--13:00 and Fridays 9:00--11:00.
Lecture room S4, Schools of Mathematics and Computer Science, UB.
Álgebra lineal. School of Chemical Engineering.
Mondays 16:00--18:00 and Fridays 16:00--17:00.
Lecture room 101, School of Chemistry, UB.
Research group: Model theory (MEyC) (Page to be updated)
Funded research projects: MTM2017-86777-P (2018-2020) Ministerio de Economía y Competitividad. Programa Nacional de Matemáticas.
SGR 2017SGR-270. (2018-2020). Agaur, Gencat.
Research topics : Logic and particularly Model Theory. Stability and simple theories.NIP, NTP2 and NSOPn 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) , pp. 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), pp. 506-522.
A test for expandability. Archive for Mathematical Logic 37 (1998), pp. 221-234. Available at AML
A nonlow supersimple theory (joint with Byunghan Kim) Notre Dame Journal of Formal Logic 39 (1998), pp. 507-518.
The number of types in simple theories. Annals of Pure and Applied Logic 98 (1999), pp. 69-86. Available 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), pp. 305-319.
Local supersimplicity and related concepts (joint with Frank Wagner). The Journal of Symbolic Logic 67 (2002), pp. 744-758.
Some remarks on indiscernible sequences. Mathematical Logic Quarterly 49 (2003), pp. 475-478. Available at MLQ
Imaginarios e hiperimaginarios. Teorema XXII/1-2 (2003), 23-41.
Dividing and chain conditions. Archive for Mathematical Logic 42 (2003), pp. 815-819. Available at AML
The free roots of the complete graph (joint with Frank Wagner). Proceedings of the American Mathematical Society 132 (2004) pp. 1543-1548. Available at PAMS
Weak forms of elimination of imaginaries (joint with Rafel Farré). Mathematical Logic Quarterly 50 (2004) 126-140. Available 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. Pp. 701-722.
|T|+-resplendent models and the Lascar group   (joint with Rodrigo Peláez)   Mathematical Logic Quarterly   Volume 51 (2005), Issue 6, pp. 626-631. Available at MLQ
Panorama de temas de teoría de modelos   Lecturas Matemáticas, Volumen 27 (Especial)(2006) pp. 137-159. Available as a pdf file at LM
Logical operations and invariance   The Journal of Philosophical Logic   Volume 36 (2007), Number 1, pp. 33-60. Available at JPL
Simplicity simplified   Revista Colombiana de Matemáticas  Volume 41 (2007), pp. 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), pp. 285-294.
Generic stability and stability   (jointly with Hans Adler and Anand Pillay)   The Journal of Symbolic Logic   Volume 79 (2014), pp. 179-185.
Normal hyperimaginaries   (jointly with Joris Potier)   Archive for Mathematical Logic   vol 53 (2014) pp. 583-591.
Orbits of subsets of the monster model and geometric theories   (jointly with Luis Jaime Corredor)   Annals of Pure and Applied Logic   vol 168 (2017), pp. 2152-2163.
Definibilitat en estructures matemàtiques   Butlletí de la Societat Catalana de Matemàtiques   vol 32, 2 (2017) pp. 133-153.
Stable forking and imaginaries.   (jointly with Joris Potier)   Notre Dame Journal of Formal Logic   vol 59 (2018), pp. 497-502.
Ample pairs.   (jointly with Amador Martín Pizarro and Daniel Palacín)   Fundamenta Mathematicae   vol 247 (2019), pp. 37-48.
Universal theories and compactly expandable models   (jointly with Saharon Shelah)   The Journal of Symbolic Logic   vol 84 (2019), pp. 1215-1223.
To appear
More on tree properties   (jointly with Byunghan Kim)   February 2019. To appear in Fundamenta Mathematicae.
Model theory of Steiner triple systems.   (jointly Silvia Barbina)   June 2018.
An exposition of the compactness of L(Qcf).   (jointly with Martin Ziegler)   February 2019.
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
Coordinator of undergraduate research theses, School of Mathematics
Member of the Studies Board of the School of Mathematics
Member of the Academic Committee of the Doctoral Program, School of Mathematics and Computr Science
Member of the Quality Committee, School of Mathematics and Computer Science
Member of the Faculty Board, School of Mathematics and Computer Science
Conferences and other scientific meetings
Neostability Theory. Casa Matemática Oaxaca - BIRS. Oaxaca (México)   14-28 October, 2018.
Logic Colloquium 18 University of Udine. 23-28 July, 2018.
Primer Encuentro Conjunto de la Real Sociedad Matemática Española (RSME) y la Unión Matemática Argentina (UMA)   Universidad de Buenos Aires, 11-15 December, 2017.
Logic Colloquium 17 University of Stockholm. 14-20 August, 2017.
11th Panhellenic Logic Symposium Delfos (Grecia), 12-16 July, 2017.
Automorphism Groups, Differential Galois Theory and Model Theory   Universidad de Barcelona, 26-27 June 2017.
Second joint Conference of the Belgian, Royal Spanish and Luxembourg Mathematical Societies.   Universidad de la Rioja, Logroño, 5-8 June, 2016.
Model Theory: Groups, Geometry, and Combinatorics.   Mathematisches Forschungsinstitut Oberwolfach, 3-9 January, 2016
Neostability. Casa Matemática Oaxaca – BIRS. Oaxaca (México)   13-17 July, 2015.
Bogotá Model Theory Day 2015   Universidad de los Andes en Bogotá. 11 June, 2015.
First Joint International Meeting RSME-SCM-SEMA-SIMAI-UMI   Bilbao, 30 June - 4 July, 2014.
Workshop on Model Theory and Applications   Universidad de Sevilla, 6-7 February , 2014
Model Theory: Groups, Geometry, and Combinatorics   Mathematisches Forschungsinstitut Oberwolfach, 7-12 January, 2013
Jornadas "Lógica Matemática en España" en memoria de Alejandro Fernández Margarit   Universidad de Sevilla, 19-20 September, 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.
October 2, 2019