Omar León Sánchez

   Turing Research Fellow in Pure Mathematics


     Alan Turing Building 

      School of Mathematics 

      University of Manchester 

      Manchester M13 9PL, UK

      Office #1.111

        Tel. +44 (0) 161275 5885





Research Interests


I mostly work on model theoretic algebra and its applications to other areas of mathematics. In particular, I am interested in the model-theoretic properties of certain classes of fields with operators (such as differential/difference operators and Poisson brackets). I also work on problems related to differential Galois theory and differential algebraic geometry.




List of publications:


Recent Preprints: 

“Differential Weil descent and differentially large fields” with M. Tressl. Submitted.

“Effective definability of Kolchin polynomials” with J. Freitag and W. Li. Submitted.

”Estimates for the coefficients of differential dimension polynomials”. Submitted.

“On the Dixmier-Moeglin equivalence for Poisson-Hopf algebras” with S. Launois. Submitted.

“A note on isolated types of finite rank” with R. Moosa. Submitted.


  PhD Thesis "Contributions to the model theory of partial differential fields"









Š      I will be teaching the Galois theory course at the University of Manchester in the Fall of 2018.

Š      Here are the lecture and tutorial notes of an introductory course to ω-stable theories that I taught at the University of Manchester in the Fall of 2016:










I am a co-organizer, together with Gareth Jones and Marcus Tressl, of the Logic Seminar in the School of Mathematics at the University of Manchester (click on Logic Seminar for upcoming talks). If you are in the UK (based or visiting) and interested in giving a talk, feel free to contact me at






Together with Gareth Jones and Marcus Tressl, I recently co-organized a meeting on “Model-theoretic methods in number theory and algebraic differential equations”. It took place at the School of Mathematics, University of Manchester, from August 3 to August 5, 2018. To see the Conference Photo follow the Meeting's Website