Model theory, logic, and formal mathematics
Metin Ersin Arıcan
I am an incoming Ph.D. student in mathematics at the University of Leeds. My research interests span model theory, mathematical logic, formal mathematics, and automated theorem proving.
Beginning in 2026, I will pursue a Ph.D. in mathematics at the University of Leeds under the supervision of Dr Pantelis Eleftheriou and Dr Vincenzo L. Mantova. I completed my M.Sc. in mathematics at Boğaziçi University with a thesis on VC-density in pairs of strongly minimal structures, advised by Assoc. Prof. Ayhan Günaydın.
For a fuller academic summary, see my CV. For shorter expository pieces and textbook solutions, visit the blog.
Research interests
- Model theory and mathematical logic
- Formal mathematics and automated theorem proving
- Visual and category-theoretic approaches to formal languages
Recent work
At Boğaziçi University, I collaborated with four undergraduate students and Assoc. Prof. Ayhan Günaydın to formalize quantifier-elimination results in Lean. We formalized the back-and-forth method and applied it to dense linear orders without endpoints. I have also served as a graduate teaching assistant for courses ranging from calculus and algebra to mathematical logic and axiomatic set theory.