Model theory and mathematical logic
Metin Ersin Arıcan
Incoming PhD student in Mathematics
University of Leeds · October 2026
My research interests are in model theory, particularly geometric stability theory, VC density, and pairs of strongly minimal structures.
I am also interested in formalized mathematics, automated theorem proving, and the use of language models in mathematical research. I completed an M.Sc. in Mathematics at Boğaziçi University and undergraduate degrees in Electrical and Electronics Engineering and Physics.
Current research
My M.Sc. research concerns VC density in pairs of models of a strongly minimal theory. My doctoral research will continue in model theory under the supervision of Pantelis Eleftheriou, with Vincenzo Mantova as secondary supervisor.
- PhD institution
- University of Leeds
- Start date
- October 2026
Selected work
Work in model theory, formalized mathematics, and computer vision.
Research
VC density in pairs
My M.Sc. thesis studies combinatorial complexity in expansions of strongly minimal structures.
Formalization
Quantifier elimination in Lean
I worked with a student team to formalize the back-and-forth method and apply it to dense linear orders.
Publication
ISNAS-DIP
Our image-specific neural architecture search method appeared at CVPR 2022.