Responsible for the M.Sc. Mathematics program

Module Representative for Mathematical Logic

Office hours

during term: Monday 11:00 - 12:00, and by appointment

during term break: By appointment

Teaching in the winter term 2020/21

Lecture course Computability (in German)

Seminar O-Minimality and the André-Oort Conjecture (organised together with Prof. Hartl,  Learnweb page of the seminar)

Research Seminar Model Theory, Geometry and Group Theory (organised together with Prof. Tent, homepage)


Editorial responsibility

Associate editor of the Journal de l'Institut de Mathématiques de Jussieu


Ph.D. Thesis

Fusion libre et autres constructions génériques (pdf)
(Université Paris 7, 2006).


Contributions à la théorie des modèles des corps (pdf)
(Université Paris Diderot Paris 7, 2013).


  • Martin Hils and François Loeser, A first Journey through Logic, Volume 89 of the series 'Student Mathematical Library', American Mathematical Society, Providence, RI, September 2019, 185 pp.

Published articles

  1. Assaf Hasson and Martin Hils, Fusion over Sublanguages (pdf)
    (J. Symbolic Logic 71(2) (2006), 361-398).
  2. Martin Hils, Semifree Actions of Free Groups (pdf)
    (Arch. Math. Logic 46(2) (2007), 93-105).
  3. Martin Hils, La fusion libre: le cas simple (pdf)
    (J. Inst. Math. Jussieu 7(4) (2008), 825-868).
  4. Andreas Baudisch, Martin Hils, Amador Martin-Pizarro and Frank O. Wagner, Die böse Farbe (pdf, English translation pdf)
    (J. Inst. Math. Jussieu 8(3) (2009), 415-443).
  5. Manuel Bodirsky, Martin Hils and Barnaby Martin, On the Scope of the Universal-Algebraic Approach to Constraint Satisfaction
    (Proc. of LICS 2010, 25th Annual IEEE Symposium on Logic in Computer Science (2010), 90-99).
    (long version: Log. Meth. Comput. Sci. 8(3:13) (2012), arXiv pdf).
  6. Martin Hils, Generic Automorphisms and Green Fields (pdf)
    (J. Lond. Math. Soc. 85(3) (2012), 223-244).
  7. Manuel Bodirsky and Martin Hils, Tractable Set Constraints (pdf)
    (J. Artif. Intell. Res. 4 (2012), 731-759).
    (An extended abstract of this article, in collaboration with Manuel Bodirsky and Alex Krimkevich, was published in IJCAI'11, Barcelona.)
  8. Martin Bays, Misha Gavrilovich and Martin Hils, Some Definability Results in Abstract Kummer Theory (pdf)
    (Int. Math. Res. Notices 2014(14) (2014), 3975-4000).
  9. Artem Chernikov and Martin Hils, Valued Difference Fields and NTP2 (pdf)
    (Israel J. Math 2014 204(1) (2014), 299-327).
  10. Juan Diego Caycedo and Martin Hils, Bad Fields with Torsion (pdf).
    (J. Symbolic Logic 80(1) (2015), 221-233).
  11. Martin Bays, Martin Hils and Rahim Moosa, Model Theory of Compact Complex Manifolds with an Automorphism (pdf)
    (Trans. Amer. Math. Soc. 369(6) (2017), 4485-4516).
    Correction to the statement of the abelian group configuration theorem (Theorem C.2).
  12. Martin Hils, Moshe Kamensky and Silvain Rideau, Imaginaries in Separably Closed Valued Fields (pdf)
    (Proc. Lond. Math. Soc. 116(6) (2018), 1457-1488).

Chapter in a textbook

  • Martin Hils, Model Theory of Valued Fields (pdf)
    (Chapter in the textbook Lectures in Model Theory,  Franziska Jahnke, Daniel Palacin and Katrin Tent (editors), published in the series Münster Lectures in Mathematics of the European Mathematical Society, ISBN 978-3-03719-184-2, April 2018, 151-180).

Some talks and tutorials

  • Imaginaries in Model Theory (slides)
    (Talk at the conference Philosophy and Model Theory, Université Paris Ouest & ENS, June 2010)
  • Introduction to Model Theory (slides)
    (Tutorial at the Second International Conference and Workshop on Valuation Theory, Segovia / El Escorial, July 2011)
  • Tameness in non-archimedean geometry through model theory (after Hrushovski-Loeser) (slides)
    (Tutorial at the conference Model Theory 2013, Ravello, June 2013)
  • A Model Theoretic Approach to Berkovich Spaces (video)
    (Tutorial at the Introductory Workshop: Model Theory, Arithmetic Geometry and Number Theory, MSRI, Berkeley, February 2014)
  • Model Theory of Compact Complex Manifolds with an Automorphism (video)
    (Talk at the Workshop on Interactions between Model Theory and Arithmetic Dynamics, Fields Institute, Toronto, July 2016)
  • Definable equivariant retractions onto skeleta in non-Archimedean geometry (video)
    (Talk at the conference Model Theory and Applications, IHP, Paris, March 2018)
  • Imaginaries in Separably Closed Valued Fields (Video)
    (Talk in the Kolchin Seminar in Differential Algebra, CUNY, New York, March 2019)