Logic, model theory, and formalization
Metin Ersin Arıcan
I am a second-year master's student in mathematics at Boğaziçi University, working on the model theory of fields under the supervision of Assoc. Prof. Ayhan Günaydın.
I am interested in the foundations of mathematics, especially model theory, mathematical logic, set theory, category theory, and the formalization of mathematics. This site is where I collect short writing, notes in progress, and updates related to that work.
For a fuller academic summary, see my CV. For shorter expository pieces and textbook solutions, visit the blog.
Research interests
- Model theory of fields
- Mathematical logic and set theory
- Category theory
- Automated theorem proving and formalization of mathematics
Current work
I am currently a teaching assistant at Boğaziçi University and work under the supervision of Assoc. Prof. Ayhan Günaydın. My current research focus is the model theory of fields.