Pablo Andújar Guerrero

PDI-Ayudante Doctor
Facultad de matemáticas
Universitat de València
Postdoctoral Fellow
School of Mathematics
University of Leeds

pa377 (at) cantab (dot) net

me looking good

Here's my CV
Last event organized: Combinatorial Problems in Model Theory and Computer Science.

Research Interests

I study model theory, an area of mathematical logic, and its interface with topology and combinatorics.
In particular I am interested in the following topics:

  • Definable topology and functional analysis in o-minimal, dp-minimal, and other classes of tame theories.
  • Types and combinatorics in NIP theories.

Research Statement

Preprints and Work in Progress

Publications

  • Definable compactness in o-minimal structures ,
    Model Theory (2025), accepted, (arXiv, pdf).
  • Definable separability and second-countability in o-minimal structures ,
    Fundamenta Mathematicae (2025), accepted, (arXiv, pdf).
  • A note on the cardinality of definable families of sets in o-minimal structures ,
    Mathematical Logic Quarterly (2024), doi.org/10.1002/malq.202300030 (open access, arXiv).
  • Around definable types in p-adically closed fields, with William Johnson,
    Annals of Pure and Applied Logic, 175 (2024) (arXiv, pdf).
  • The Marker-Steinhorn Theorem,
    Notre Dame Journal of Formal Logic, accepted (arXiv, pdf).
  • Definable (ω,2)-theorem for families with VC-codensity less than 2,
    The Journal of Symbolic Logic (2023), doi:10.1017/jsl.2023.46 (open access, arXiv, pdf).
  • Directed sets and topological spaces definable in o-minimal structures, with Margaret E. M. Thomas and Erik Walsberg,
    Journal of the London Mathematical Society, Second Series, 104 (2021) no. 3, 989-1010 (arXiv, pdf)

Some Talks

  • O-minimal tame set-theoretic topology
    Leeds Models and Sets Seminar (slides)
  • Types and definable compactness in o-minimality and beyond
    AMS Spring Sectional Meeting 2022 (video, slides)
    Fields Model Theory Seminar (video)
  • A brief history of (p,q) theorems
    (Updated short version) 75th British Mathematical Colloquium (slides)
    Fields Postdoc Colloquium (video, slides)
  • Types, transversals and definable compactness in o-minimal structures
    ASL North American Annual Meeting
  • One-dimensional definable topologies in o-minimal structures
    Universität Konstanz Real Algebraic Geometry and Model Theory conference (RAGMT)

Teaching

Outreach

Unpublished

Ph.D. Thesis

Definable Topological Spaces in O-minimal Structures (pdf)
Purdue University, 2021
Advisor: Margaret E. M. Thomas
  • A different (better?) way of reading arXiv papers.
  • Gabriel Conant's map of the universe.
  • A database of topological spaces called π-Base.