Martin Hils



Maître de conférences dans l'Institut de Mathématiques de Jussieu (projet Logique mathématique) à l'Université Paris Diderot - Paris 7.

Martin Hils Contact

Bureau: 622 (situé au 6ème étage, Bâtiment Sophie Germain, entrée au croisement
de l'avenue de France et de la rue Alice-Domon et Léonie-Duquet, Paris 13ème)

tél: +33 (0) 1 57 27 91 52
fax: +33 (0) 1 57 27 91 78
e-mail: hils (at) math.univ-paris-diderot.fr

Adresse postale:
Équipe de Logique Mathématique
Institut de Mathématiques de Jussieu - Paris Rive Gauche
Bâtiment Sophie Germain
Université Paris Diderot Paris 7
UFR de Mathématiques - case 7012
75205 Paris Cedex 13
France


Enseignement

Enseignement en 2015 / 2016

Premier semestre

MM3 - Algèbre et analyse approfondies 1 (page DidEL) (TD, L2 de Mathématiques)

Logique du premier ordre (page DidEL) (TD, M1 de Mathématiques Fondamentales)



Second semestre

Théorie des modèles des corps valués (page DidEL) (Cours magistral, M2 LMFI)




Archives d'enseignement



Recherche

Domaines de recherche

Théorie des modèles: Stabilité et simplicité géométrique, Amalgames de Hrushovski
Corps valués et leur théorie des modèles



Membre de l'ANR ValCoMo - Valuations, Combinatoire et Théorie des Modèles
(Projet ANR Blanc, 01 Janvier 2014 - 31 Décembre 2017)




Coorganisateur du séminaire Géométrie et théorie des modèles
(Un vendredi par mois, à Paris.)



Publications

Thèse de doctorat

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

Habilitation à diriger des recherches

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


Articles publiés
  1. Avec Assaf Hasson, Fusion over Sublanguages (pdf)
    (J. Symbolic Logic 71(2) (2006), 361-398).
  2. Semifree Actions of Free Groups (pdf)
    (Arch. Math. Logic 46(2) (2007), 93-105).
  3. La fusion libre: le cas simple (pdf)
    (J. Inst. Math. Jussieu 7(4) (2008), 825-868).
  4. Avec Andreas Baudisch, Amador Martin-Pizarro et Frank O. Wagner, Die böse Farbe (pdf, traduction anglaise pdf)
    (J. Inst. Math. Jussieu 8(3) (2009), 415-443).
  5. Avec Manuel Bodirsky et 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).
    (version longue: Log. Meth. Comput. Sci. 8(3:13) (2012), arXiv pdf).
  6. Generic Automorphisms and Green Fields (pdf)
    (J. Lond. Math. Soc. 85(3) (2012), 223-244).
  7. Avec Manuel Bodirsky, Tractable Set Constraints (pdf)
    (J. Artif. Intell. Res. 4 (2012), 731-759).
    (Un résumé élargi de cet article, en collaboration avec Manuel Bodirsky et Alex Krimkevich, a été publié dans IJCAI'11, Barcelona.)
  8. Avec Martin Bays et Misha Gavrilovich, Some Definability Results in Abstract Kummer Theory (pdf)
    (Int. Math. Res. Notices 2014(14) (2014), 3975-4000).
  9. Avec Artem Chernikov, Valued Difference Fields and NTP2 (pdf)
    (Israel J. Math 2014; doi: 0.1007/s11856-014-1094-z).
  10. Avec Juan Diego Caycedo, Bad Fields with Torsion (pdf).
    (J. Symbolic Logic 80(1) (2015), 221-233).


Article accepté pour publication

  • Avec Martin Bays et Rahim Moosa, Model Theory of Compact Complex Manifolds with an Automorphism (arXiv pdf).
    (Accepté pour publication dans Trans. Amer. Math. Soc.).


Quelques exposés & mini-cours que j'ai donnés dans le passé

  • Imaginaries in Model Theory (transparents)
    (Exposé au colloque Philosophy and Model Theory, Université Paris Ouest & ENS, Juin 2010)
  • Introduction to Model Theory (transparents)
    (Tutorial au colloque Second International Conference and Workshop on Valuation Theory, Segovia / El Escorial, Juillet 2011)
  • Tameness in non-archimedean geometry through model theory (after Hrushovski-Loeser) (transparents)
    (Tutorial au colloque Model Theory 2013, Ravello, Juin 2013)
  • A Model Theoretic Approach to Berkovich Spaces (vidéos)
    (Tutorial au colloque Introductory Workshop: Model Theory, Arithmetic Geometry and Number Theory, MSRI, Berkeley, Février 2014)



Quelques colloques (et autres activités scientifiques) à venir





(Last modification: 27/03/2016)