Enrique Casanovas Ruiz-Fornells

Catedrático de universidad
Facultad de Matemáticas
Tf. (34) 93 402 16 60
e.casanovas@ub.edu
Dirección postal:
Departamento de Matemáticas e Informática
Universidad de Barcelona
Gran Vía 585
E-08007 Barcelona
This page in English
 
Universitat de Barcelona
 
Seminario de Lógica
Seminario de Teoría de Modelos
Grupo de Teoría de Modelos
Modnet
IMUB
Docencia
Investigación
Artículos
Textos docentes
Textos de conferencias y seminarios
Cargos académicos
Congresos
Revistas de lógica
Centros de investigación
Asociaciones
Organismos y diarios oficiales
Otros enlaces
 
 
 
Docencia curso 2015 - 2016
Primer Semestre
Advanced Model Theory. Master in Pure and Applied Logic.
Lunes y miércoles de 9:00 a 10:30. Aula S2, Facultad de Matemáticas UB.
Lenguaje y razonamiento matemático. Grupos C (lunes y miércoles de 11:00 a 12:00) y G (lunes y miércoles de 18:00 a 19:00) de problemas. Aula S1, Facultad de Matemáticas UB.
Segundo Semestre
Lógica y lenguajes. Grado de Informática. Grupo de problemas. Viernes de 17:00 a 19:00. Aula B5, Facultad de Matemáticas UB.
 
 
Investigación
 
Grupos de investigación: Grupo de Lógica (SGR), Teoría de modelos (Proyecto MEyC)
Temas de investigación: Lógica y en particular teoría de modelos. Estabilidad y teorías simples. 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) , 673-683.
Omitting types in incomplete theories (con Rafel Farré). The Journal of Symbolic Logic 61(1996), 236-245.
On elementary equivalence for equality-free logic (con Pilar Dellunde y Ramon Jansana). Notre Dame Journal of Formal Logic 37 (1996), 506-522.
A test for expandability. Archive for Mathematical Logic 37 (1998), 221-234. Disponible en formato pdf en AML
A nonlow supersimple theory (con 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. Disponible en formato pdf en APAL
Stable theories with a new predicate (con Martin Ziegler) The Journal of Symbolic Logic 66 (2001), 1127-1140
Galois groups of first order theories (con Daniel Lascar, Anand Pillay y Martin Ziegler) Journal of Mathematical Logic 1 (2001), 305-319.
Local supersimplicity and related concepts (con Frank Wagner). The Journal of Symbolic Logic 67 (2002), 744-758.
Some remarks on indiscernible sequences. Mathematical Logic Quarterly 49 (2003), 475-478. Disponible en formato pdf en MLQ
Imaginarios e hiperimaginarios. Teorema XXII/1-2 (2003), 23-41.
Dividing and chain conditions. Archive for Mathematical Logic 42 (2003), 815-819. Disponible en formato pdf en AML
The free roots of the complete graph (con Frank Wagner). Proceedings of the American Mathematical Society 132 (2004) 1543-1548. Disponible en varios formatos en PAMS
Weak forms of elimination of imaginaries (con Rafel Farré). Mathematical Logic Quarterly 50 (2004) 126-140. Disponible en formato pdf 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ág. 701-722.
|T|+-resplendent models and the Lascar group   (con Rodrigo Peláez)   Mathematical Logic Quarterly   Volume 51 (2005), Issue 6, p. 626-631. Disponible en formato pdf en MLQ
Panorama de temas de teoría de modelos   Lecturas Matemáticas, Volumen 27 (Especial)(2006) pág. 137-159. Disponible en formato pdf en LM
Logical operations and invariance   The Journal of Philosophical Logic   Volume 36 (2007), Number 1, p. 33-60. Disponible en formato pdf en JPL
Simplicity simplified   Revista Colombiana de Matemáticas  Volume 41 (2007), p. 263-277. Disponible en formato pdf 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. 285-294
Generic stability and stability   (con Hans Adler y Anand Pillay)   The Journal of Symbolic Logic   Volume 79 (2014), p. 179-185
En prensa
Normal hyperimaginaries   (con Joris Potier)   Por aparecer en Archive for Mathematical Logic
 
 
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 NTP2 pdf
 
Cargos académicos
 
Miembro del Consejo de Dirección del IMUB
Miembro del Consejo Asesor dela Escuela de Doctorado de la Universidad de Barcelona
 
Congresos y otras reuniones científicas
Futuros
First Joint International Meeting RSME-SCM-SEMA-SIMAI-UMI   Bilbao, 30 junio - 4 de julio 2014.
Classification Theory Workshop   NIMS Daejeon, Corea. 6-9 agosto, 2014.
Pasados
Workshop on Model Theory and Applications   Universidad de Sevilla, 6-7 de febrero, 2014
Model Theory: Groups, Geometry, and Combinatorics   Mathematisches Forschungsinstitut Oberwolfach, 7-12 de enero, 2013
Jornadas "Lógica Matemática en España" en memoria de Alejandro Fernández Margarit   Universidad de Sevilla, 19-20 de septiembre, 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.
 
11 de noviembre de 2015