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
• European Mathematical Society
• Fellow of the Higher Education Academy
• London Mathematical Society
• Unione Matematica Italiana

Student education

I maintain BookML, a fully automated solution for converting LaTeX to accessible bookdown-style HTML (and SCORM), based on LaTeXML, the technology behind ar5iv. BookML can typically digest unmodified LaTeX files and it 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