Konstantinos Kartas

I am a CNRS postdoctoral researcher at IMJ-PRG/Sorbonne Université, hosted by F. Loeser. I completed my PhD at the University of Oxford, under the supervision of E. Hrushovski and J. Koenigsmann. 

I am interested in the interactions between model theory and arithmetic geometry. 

PhD Thesis:

Contributions to the model theory of henselian fields (2022)

Research papers:

1. Decidability via the tilting correspondence (2021), submitted | arXiv version

2. Diophantine problems over tamely ramified fields (2023), Journal of Algebra Volume 617, pp. 127-159|arXiv version

3. An undecidability result for the asymptotic theory of p-adic fields (2023), Annals of Pure and Applied Logic, Volume 174, Issue 2  |arXiv version

4. Diophantine problems over Z^ab modulo prime numbers (2021), (Addendum to 1) arXiv version

5. Valued fields with a total residue map (2022), submitted | arXiv version

Survey papers/Miscellanea: 

1. Stable groups (2018), M.Sc Thesis (under the supervision of E. Hrushovski)

2. Decidability of local fields and their extensions (2021), Proceedings of the PLS '22

Selected Talks (w/ slides or recording): 

1. Decidability via the tilting correspondence (2022), Géométrie et Théorie des Modéles (video)

2. Diophantine problems over tamely ramified fields (2022), Szczecin 2022

3. Decidability via the tilting correspondence (2021), Fields Institute (video) 

4. Diophantine problems over infinitely ramified fields (2020), MSRI (video)