 |
| |
Enrique Casanovas Ruiz-Fornells |
| Catedrático de universidad |
| Facultad de Filosofía |
| Cuarto piso, despacho 4048 |
| Tf. (34) 93 403 79 86 |
| e.casanovas@ub.edu |
| Dirección postal: |
Departamento de Lógica,
Historia y Filosofía de la Ciencia |
| Universidad de Barcelona |
| Montalegre 6 |
| E-08001 Barcelona |
|
|
|
|
|
| |
| |
|
Docencia curso 2007 - 2008 |
| Primer Semestre |
|---|
Introducción a la lógica 1. Grupo A1. Asignatura troncal de primer ciclo. Facultad de Filosofía.
Martes, miércoles y jueves de 10:00 a 11:00. Aula 404, Facultad de Filosofía UB.
Despacho: martes de 11:00 a 12:00. |
|
| Segundo Semestre |
|---|
Introducción a la lógica 2. Grupo A1. Asignatura troncal de primer ciclo. Facultad de Filosofía.
Martes, miércoles y jueves de 10:00 a 11:00. Aula 404, Facultad de Filosofía UB.
Despacho: martes de 11:00 a 12:00. |
Teoría de autómatas (Problemas). Asignatura troncal de la Ingeniería Técnica de Informática de Sistemas y optativa de la
Facultad de Matemáticas (con el nombre de Modelos computacionales
)
Miércoles de 19:00 a 20:00 y viernes de 17:00 a 18:00. Aula B2, Facultad de Matemáticas, UB. |
|
| Máster de Lógica pura y aplicada |
|---|
Teoría avanzada de modelos. Asignatura optativa
del primer semestre del Máster de Lógica Pura y Aplicada
Martes y jueves de 12:00 a 13:30. Aula 411. Facultad de Filosofía, UB. |
|
|
| |
|
Investigación |
| |
|---|
| Grupos de investigación: Grupo
de Lógica (Grupo consolidado DURSI), Teoría
de modelos (Proyecto MCyT) y Modnet (Red europea de teoría de modelos). |
| 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 |
| 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
|
|
|
| |
|
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
|
|
|
|
|
| |
|
Congresos y otras reuniones científicas |
|
| Pasados |
|---|
| 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. |
| |
| |
| |
| |
| |
|
Organismos y diarios oficiales |
| |
| |
| |
|
|
 |
