Darío García

Contact information

Email: D.Garcia@leeds.ac.uk

School of Mathematics
University of Leeds
LS2 9JT, Leeds, UK.

I am a Marie Curie Research Fellow, working under the grant agreement MODFIN 656422 on model theory of pseudofinite structures. This is the project website.

My research interest is in model theory, specifically model-theoretic properties of ultraproducts of finite structures, towards (potential) application to combinatorics.

I received my Ph.D. at Universidad de los Andes (Bogotá-Colombia) under the supervision of Alf Onshuus (from uniandes ) and Thomas Scanlon (from UC Berkeley).
During 2015-2016 I was a postdoctoral researcher in the Institut Camille Jordan at Université Claude Bernard, Lyon 1.

View my CV here.

Workshop on finite and pseudofinite structures

We are organising a workshop on model theory of finite and pseudofinite structures , which will be held at the University of Leeds, (UK), on April 9-11, 2018. Some of the themes that will be touched on during the workshop are:



FALL 2016


  1. Forking and thorn-forking for generically stable types [ slides]
    Logic Seminar. University of Leeds.

  2. Minicourse on model theory of pseudofinite structures. [ Notes.]
    Trimester programme Model Theory, Valued Fields and Combinatorics . Institut Henri Poincaré.

  3. Pseudofinite structures, simplicity and unimodularity [slides ]
    Rencontres franco-colombiennes des mathématiques. Ecole Normale Superiure, Lyon. France.

  4. Ordered asymptotic classes of finite structures [handout ]
    Logic Seminar. Imperial College - London.

  5. Furstenberg principle via ultraproducts of finite structures.
    Mathematisches Institut. University of Freiburg.

  6. Ultraproducts of finite structures in combinatorics. [slides ]
    Birkbeck College, University of London.

  7. The Erdös-Hajnal conjecture for stable graphs. [notes]
    School of Mathematics. University of Manchester.

  8. Forking and dimensions in pseudofinite structures [slides]
    Logic Seminar. University of Leeds.

  9. Applications of ultraproducts of finite structures to combinatorics. [abstract]
    Institute for Research in Fundamental Sciences. Isfahan, Iran.

  10. Unimodularity unified. [slides]
    Logic Colloquium 2016. University of Leeds.

  11. Model Theory Seminar. University of Leeds.

  12. Logic Seminar. University of Oxford.

  13. Lancashire Yorkshire Model Theory Seminar - LYMOTS.

  14. Séminaire Théodie des Modèles et Groupes. Université Paris-Diderot. Paris 7.

  15. Séminaire de Logique mathématique. Institute Camille Jordan. Lyon

  16. Pseudofinite structures and simplicity. [slides]
    Neostability Theory. BIRS - Oaxaca.

  17. El Teorema de Szemerédi via ultraproducts. [slides]
    Matemáticas por Estudiantes, 2014. Universidad de los Andes.

  18. O-asymptotic classes of finite structures. [slides]
    Simposio Latinoamericano de Lógica Matemática - Universidad de Buenos Aires, Argentina.

  19. Model Theory Seminar. University of California - Berkeley.

  20. A proof of Szemerédi’s Regularity Lemma via ultraproducts. [notes]
    Finite structures and Limits Seminar. UC-Berkeley - MSRI.

  21. Asymptotic classes of finite structures. [notes]
    Finite structures and Limits Seminar. UC-Berkeley - MSRI.

  22. Recent applications from Model Theory to Combinatorics.
    Graduate Student Conference in Logic. University of Illinois at Urbana-Champaign.

  23. Generic stability, forking and thorn-forking. [slides]

    Model Theory Seminar. University of California - Berkeley.