Dr Vincenzo L Mantova

Research interests

I am interested in the model theory of exponentiation and of other analytic functions; in particular, taming complex exponentiation and other complex covers, along the strategy set up by Zilber, and fast growing real functions, via surreal numbers and transseries. I also work in Diophantine geometry, especially in connection with the aforementioned problems.

Past PhD students

• Pietro Freni (VLM, HD Macpherson), Structural Investigations in some Classes of o-minimal Fields (2024)
• Ibrahim Mohammed (VLM, HD Macpherson), Countless Contractions (2024)
• Francesco Gallinaro (VLM, HD Macpherson), Around exponential-algebraic closedness (2022 – joint winner of the ASL Sacks Prize 2022)
• Rosario Mennuni (HD Macpherson, VLM), Invariant types in model theory (2020)

See below for the current PhD students.

• Model theory of analytic functions

Professional memberships

• Association for Symbolic Logic
• Associazione Italiana di Logica e sue Applicazioni
• British Logic Colloquium
• Fellow of the Higher Education Academy
• London Mathematical Society
• Unione Matematica Italiana

Student education

I maintain BookML, an automated LaTeX to accessible bookdown-style HTML (and SCORM) converter based on LaTeXML, the technology behind ar5iv. BookML can typically digest unmodified LaTeX files and produce good looking pages, with various accessibility features (all of MathJax’s functionality, dark mode, configurable fonts, etc), and can be run locally or on Overleaf (via GitHub). See the Leeds BookML guide for more info and examples.

For teaching on a projector or online, I made OneBoard, a clutter-free (double) whiteboard hacked on top of OneNote.

Research groups and institutes

• Pure Mathematics
• Logic
• Algebra

Current postgraduate researchers

• Francesco Gallinaro
• Rory Ainslie
• Ibrahim Mohammed
• Pietro Freni
• Tommy Bernert
• Mervyn Tong
• Angus Matthews