Ibrahim Mohammed


I’m a third year PhD student studying model theory under Vincenzo Mantova and Dugald MacPherson.

The main goal of my PhD is to find out the model theoretic properties of structures expanding centripetal contraction groups, in order to better understand the behaviour of transexponential or hyperlogarithmic functions on non-archimedian ordered fields.



Research interests

  • Contraction groups
  • Transseries
  • Structures building on Transseries, e.g Hyperseries
  • Elimination of Imaginaries for ordered group structure
  • Weak o-minimality


  • Bsc with Honours in Maths and Philosophy, University of Warwick