|
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 |
| |
|---|
| 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 |
| Published |
|---|
| 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. |
|
|
|
|
|
|
| |
|
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. |
| |
|
