 |
| |
Enrique Casanovas |
| Professor |
| School of Philosophy |
| Fourth floor, room 4048 |
| Tf. (34) 93 403 79 86 |
| e.casanovas@ub.edu |
| Postal address: |
Departament de Lògica,
Història i Filosofia de la Ciència |
| Universitat de Barcelona |
| Montalegre 6 |
| E-08001 Barcelona |
|
|
|
|
|
| |
|
Teaching, Academic Year 2007 - 2008 |
| First Semester |
|---|
Introduction to Logic 1. Group A1. School of Philosophy.
Tuesdays, Wednesdays and Thursdays from 10:00 to 11:00.
Lecture room 404, School of Philosophy UB. |
|
| Second Semester |
|---|
Introduction to Logic 2. Group A1. School of Philosophy.
Tuesdays, Wednesdays and Thursdays from 10:00 to 11:00.
Lecture room 404, School of Philosophy UB. |
Automata Theory (Problems). School of Computer Science and
School of Mathematics (under the name Computational models )
Wednesdays from 19:00 to 20:00 and Fridays from 17:00 to 18:00.
Lecture room B2, School of Mathematics, UB. |
|
| Master in Pure and Applied Logic |
|---|
Advanced Model Theory. First semester course of the
Master in Pure and Applied Logic
Tuesdays and Thursdays from 12:00 to 13:30
Lecture room 411, School of Philosophy, UB. |
|
|
| |
|
Research |
| |
|---|
| Research groups: Logic (Dursi),
Model theory (MCyT), and Modnet (Marie Curie research training network in model theory). |
| 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 |
| Published |
|---|
| 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
|
|
|
| |
|
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 |
|
|
|
Administrative Appointments |
|
|
| |
|
Conferences and other scientific meetings |
|
| Past |
|---|
| 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. |
| |
| |
| |
| |
| |
|
Official Journals and Institutions |
| |
| |
| |
|
|
 |
