Enrique Casanovas

Primer Semestre
Advanced Model Theory. Master in Pure and Applied Logic. Lunes de 9:00 a 10:30 y viernes de 11:30 a 13:00. Aula S2, Facultad de Matemáticas UB.
Teoría elemental de conjuntos. Grado de Matemáticas. Lunes de 11:00 a 13:00 y viernes de 9:00 a 11:00. Aula S4, Facultad de Matemáticas UB.
Álgebra lineal. Grados de ingeniería Química e Ingeniería de Materiales. Lunes de 16:00 a 18:00 y viernes de 16:00 a 17:00. Aula 101, Facultad de Química UB.

Investigación


Grupo de investigación: Teoría de modelos (Página por actualizar)
Proyectos de investigación: MTM2017-86777-P (2018-2020) Ministerio de Economía y Competitividad. Programa Nacional de Matemáticas. SGR 2017SGR-270. (2018-2020). Agaur, Gencat.
Temas de investigación: Lógica y en particular teoría de modelos. Estabilidad y teorías simples. NIP, NTP₂ y NSOP_n. Grupos de automorfismos. Lógica de primer orden sin identidad. Omisión de tipos. Modelos expandibles. Imaginarios e hiperimaginarios. Constantes lógicas.

Artículos y libros

Publicados
Compactly expandable models and stability The Journal of Symbolic Logic 60 (1995) , págs. 673-683.
Omitting types in incomplete theories (con Rafel Farré). The Journal of Symbolic Logic 61(1996), págs. 236-245.
On elementary equivalence for equality-free logic (con Pilar Dellunde y Ramon Jansana). Notre Dame Journal of Formal Logic 37 (1996), págs. 506-522.
A test for expandability. Archive for Mathematical Logic 37 (1998), págs. 221-234. Disponible en AML
A nonlow supersimple theory (con Byunghan Kim) Notre Dame Journal of Formal Logic 39 (1998), págs. 507-518.
The number of types in simple theories. Annals of Pure and Applied Logic 98 (1999), págs. 69-86. Disponible en APAL
Stable theories with a new predicate (con Martin Ziegler) The Journal of Symbolic Logic 66 (2001), págs. 1127-1140
Galois groups of first order theories (con Daniel Lascar, Anand Pillay y Martin Ziegler) Journal of Mathematical Logic 1 (2001), págs. 305-319.
Local supersimplicity and related concepts (con Frank Wagner). The Journal of Symbolic Logic 67 (2002), págs. 744-758.
Some remarks on indiscernible sequences. Mathematical Logic Quarterly 49 (2003), págs. 475-478. Disponible en MLQ
Imaginarios e hiperimaginarios. Teorema XXII/1-2 (2003), págs. 23-41.
Dividing and chain conditions. Archive for Mathematical Logic 42 (2003), págs. 815-819. Disponible en AML
The free roots of the complete graph (con Frank Wagner). Proceedings of the American Mathematical Society 132 (2004) págs. 1543-1548. Disponible en PAMS
Weak forms of elimination of imaginaries (con Rafel Farré). Mathematical Logic Quarterly 50 (2004) 126-140. Disponible en MLQ
La lógica en el siglo XX. En M. Garrido, L.M. Valdés y L. Arenas (ed) El legado filosófico y científico del siglo XX. Ed. Cátedra, Colección Teorema, Madrid 2005. Págs. 701-722.
\|T\|⁺-resplendent models and the Lascar group (con Rodrigo Peláez) Mathematical Logic Quarterly Volume 51 (2005), Issue 6, págs. 626-631. Disponible en MLQ
Panorama de temas de teoría de modelos Lecturas Matemáticas, Volumen 27 (Especial)(2006) págs. 137-159. Disponible en LM
Logical operations and invariance The Journal of Philosophical Logic Volume 36 (2007), Number 1, págs. 33-60. Disponible en JPL
Simplicity simplified Revista Colombiana de Matemáticas Volume 41 (2007), págs. 263-277. Disponible en RCM
Simple Theories and Hyperimaginaries Lecture Notes in Logic , Cambridge University Press 2011.
On ω-categorical many-sorted theories (con Rodrigo Peláez y Martin Ziegler) Fundamenta Mathematicae Volume 214 (2011), págs. 285-294
Generic stability and stability (con Hans Adler y Anand Pillay) The Journal of Symbolic Logic Volume 79 (2014), págs. 179-185
Normal hyperimaginaries (con Joris Potier) Archive for Mathematical Logic vol 53 (2014) págs. 583-591.
Orbits of subsets of the monster model and geometric theories (con Luis Jaime Corredor) Annals of Pure and Applied Logic vol 168 (2017), págs. 2152-2163.
Definibilitat en estructures matemàtiques Butlletí de la Societat Catalana de Matemàtiques vol 32, 2 (2017) págs. 133-153.
Stable forking and imaginaries. (con Joris Potier) Notre Dame Journal of Formal Logic vol 59 (2018), págs. 497-502.
Ample pairs. (con Amador Martín Pizarro y Daniel Palacín) Fundamenta Mathematicae vol 247 (2019), págs. 37-48.
Universal theories and compactly expandable models (con Saharon Shelah) The Journal of Symbolic Logic vol 84 (2019), págs. 1215-1223.

En prensa
More on tree properties (con Byunghan Kim) Febrero de 2019. Por aparecer en Fundamenta Mathematicae.

Preprints
Model theory of Steiner triple systems. (con Silvia Barbina) junio de 2018.
An exposition of the compactness of L(Q^cf). (con Martin Ziegler) febrero de 2019.

Textos docentes

Lógica 1 . Curso 1999/2000 pdf (341 KB). No corresponde al programa actual.

Lógica 2 . Curso 1999/2000 pdf (231 KB). No corresponde al programa actual.

Teoría Axiomática de Conjuntos . Curso 1997/98. pdf (295 KB)

Teoría de Modelos . Curso de Doctorado. Versión de septiembre de 2003. pdf (625 KB)

Textos de conferencias y seminarios


Seminario sobre hiperimaginarios y grupos de Galois. Versión del 12 de enero de 2001. pdf (227 KB)
Model Theory Research Seminar. University of California at Berkeley, 6 y 20 de septiembre de 2002. Newelski's analysis of Lascar strong types. pdf (154 KB)
Seminario de Teoría de Modelos. Universidad de Barcelona, Octubre de 2005. Teorías monobasadas. pdf (212 KB)
Seminario de Teoría de Modelos. Universidad de Barcelona, Abril de 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, Noviembre de 2000. The recent history of model theory pdf
Seminario de Teoría de Modelos. Universidad de Barcelona, Septiembre de 2010. NIP formulas and theories pdf
Seminario de Teoría de Modelos. Universidad de Barcelona, Septiembre de 2011. More on NIP and related topics pdf
Seminario de Teoría de Modelos. Universidad de Barcelona, Marzo de 2012. The number of countable models pdf
Seminario de Teoría de Modelos. Universidad de Barcelona, Julio de 2013. Around NTP₂ pdf

Encargos académicos


Coordinador de los trabajos de fin de grado de Matemáticas
Miembro del Consejo de Estudios del grado de Matemáticas
Miembro de la Comisión Académica del programa de doctorado de Matemáticas e Informática
Miembro de la Comisión de Calidad de la Facultad de Matemáticas e Informática
Miembro de la Junta de Facultad de Matemáticas e Informática

Congresos y otras reuniones científicas

Neostability Theory. Casa Matemática Oaxaca - BIRS. Oaxaca (México) del 14 al 19 de octubre de 2018.

Logic Colloquium 18 University of Udine. 23-28 de julio 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, del 11 al 15 de diciembre de 2017.

Logic Colloquium 17 University of Stockholm. Del 14 al 20 de agosto de 2017.

11th Panhellenic Logic Symposium Delfos (Grecia), del 12 al 16 de julio de 2017.

Automorphism Groups, Differential Galois Theory and Model Theory Universidad de Barcelona, del 26 al 27 de junio de 2017.

Second joint Conference of the Belgian, Royal Spanish and Luxembourg Mathematical Societies. Universidad de la Rioja, Logroño, del 5 al 8 de junio de 2016.

Model Theory: Groups, Geometry, and Combinatorics. Mathematisches Forschungsinstitut Oberwolfach, del 3 al 9 de enero de 2016

Neostability. Casa Matemática Oaxaca – BIRS. Oaxaca (México) del 13 al 17 de julio de 2015.

Bogotá Model Theory Day 2015 Universidad de los Andes en Bogotá. 11 de junio de 2015.

First Joint International Meeting RSME-SCM-SEMA-SIMAI-UMI Bilbao, 30 junio - 4 de julio 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, 16 de julio de 2012.

Model Theory in Wroclaw Wroclaw (Poland), 16-19 de junio de 2012.

First CSLI Workshop on Logic, Rationality, and Interaction CSLI, Stanford University, 1-3 de junio de 2012.

Neostability Theory BIRS (Banff, Alberta, Canada), 29 enero - 3 febrero de 2012.

Logic Colloquium 2011 Barcelona, 11-16 de julio de 2011.

Erlagol 2011 Erlagol (Altai, Rusia), 22-27 de junio de 2011.

Recent developments in Model Theory Oléron, 5-11 de junio de 2011.

Mini-school in Model Theory Turín, 9-11 febrero 2011.

III Jornadas de lógica, computación e inteligencia artificial ETS Ingeniería Informática, Universidad de Sevilla, 30 noviembre - 2 de diciembre de 2010.

Model Theory: around valued fields and dependent theories Mathematisches Forschungsinstitut Oberwolfach, 3 - 9 de enero de 2010.

Workshop on stability related issues CMAF, Universidade de Lisboa, 15 - 16 de octubre de 2009.

Stable methods in unstable theories Banff Interntational Research Station for Mathematical Innovation an Discovery, Banff (Alberta, Canadá), 8 - 13 de febrero de 2009.

Modnet Final conference Barcelona, 3-7 de noviembre de 2008.

Around classification theory Leeds (UK), 27 - 30 de junio de 2008.

International Workshop on Model Theory Yonsei University, Seúl (Corea), 14 - 15 de noviembre de 2007.

Model Theory and Groups Mathematisches Forschungsinstitut Oberwolfach, 14 - 20 de enero de 2007.

Modnet Mid-term conference Antalya (Turquía), 4 - 11 de noviembre de 2006.

Logicum Lugdunensis. Lyon (Francia), 22 - 24 de junio de 2006.

Freiburg MODNET Summer School, Universidad de Freiburg, 19 - 22 de abril de 2006.

MODNET Winter talks in Model Theory at the University of Barcelona IMUB, Universidad de Barcelona, 17 - 19 de enero de 2006.

Model Theory in Bogotá (Summer 2005). Universidad de los Andes, Bogotá y Villa de Leyva 15 - 19 de agosto de 2005.

XV Congreso Nacional de Matemáticas de Colombia. Hotel Tequendama, Bogotá 8 - 12 de agosto de 2005.

Pure Model Theory. An Isaac Newton Satellite Workshop University of East Anglia, Norwhich 4 - 8 de julio de 2005.

Model Theory and Applications to Algebra and Analysis Isaac Newton Institute for Mathematical Sciences, Cambridge 17 enero - 15 de julio 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, 18 - 24 de julio de 2004.

Encuentro de Teoría de Modelos Barcelona - Bogotá Barcelona, 21 - 23 de junio de 2004

XII Simposio Latinoamericano de Lógica Matemática San José, Costa Rica, 12 - 16 de enero de 2004.

Conference on Field Theory and related Model Theory Graduiertenkolleg Mathematische Logik und Anwendungen, Freiburg, 10 - 12 de octubre de 2003.

12th International Congress of Logic, Methodology and Philosophy of Science Oviedo, 7- 13 de agosto de 2003.

Rencontre Internationale de Théorie des Modèles Institute Henri Poincaré, Paris, 6-7 de junio, 2003. Organizado por el grupo de Lógica de Paris de la Universidad Paris 7 - Denis Diderot.

HPLMC-02 Second International Workshop on the History and Philosophy of Logic, Mathematics and Computation ILCLI, San Sebastián, 7-9 de noviembre de 2002.

Simpleton 2002 - The Workshop . Centre International de Rencontres Mathématiques, Luminy, Marseilles, 8-12 de julio de 2002.

Euro-Conference in Model Theory and Applications. Ravello, 27 mayo - 1 de junio de 2002.

Conference on Model Theory . Birmingham, 27 febrero - 2 de marzo de 2002.

Workshop on Model Theory . IMUB, Barcelona, 25- 27 de noviembre de 2001.

First International Workshop on the History and Philosophy of Logic, Mathematics and Computation. ILCLI, San Sebastián, 9-11 de noviembre de 2000.

Workshop on Simple Theories The Fields Institute, Toronto, 19-22 de octubre de 2000.

Congreso Nacional de Matemáticas-2000. Bogotá 14-18 de agosto de 2000.

The 6th Barcelona Logic Meeting Barcelona, 5-8 de julio de 2000.

Modelltheorie, Oberwolfach 2000. Mathematisches Forschungsinstitut Oberwolfach, 16-22 de enero de 2000.

2 de octubre de 2019