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 2014 / 2015

Premier semestre

Théorie des modèles, théorie des ensembles, incomplétude (Cours fondamental 1 dans le M2 de Logique Mathématique et Fondements de l'Informatique)

Logique du premier ordre (page didel - connexion ent requise) (TD, M1 de Mathématiques Fondamentales)

LM1 - Raisonnements et langage mathématiques (TD, L1)



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, à l'École normale supérieure - 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).


Article accepté pour publication

  • Avec Juan Diego Caycedo, Bad Fields with Torsion, accepté pour publication dans J. Symbolic Logic (arXiv pdf).


Transparents de quelques exposés

  • Imaginaries in Model Theory (pdf)
    (Exposé au colloque Philosophy and Model Theory, Université Paris Ouest & ENS, Juin 2010)
  • Introduction to Model Theory (pdf)
    (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) (pdf)
    (Tutorial au colloque Model Theory 2013, Ravello, Juin 2013)



Quelques colloques à venir





(Last modification: 13/10/2014)