LEHRE

Modulbeauftragter Mathematische Logik

Lehrveranstaltungen im WS 2019/20

Vorlesung Lineare Algebra I (Vorlesungsverzeichnis, Seite im Learnweb - reserviert für Teilnehmer)

Seminar zur Modelltheorie - Definierbare Gruppen in metastabilen Theorien (gemeinsam mit Herrn Touchard, Vorlesungsverzeichnis, Seite im Learnweb - reserviert für Teilnehmer)

Oberseminar Modelltheorie, Geometrie und Gruppentheorie (gemeinsam mit Prof. Jahnke und Prof. Tent, Homepage)

Lehrveranstaltungen im SoSe 2019

Vorlesung Logik IV - Modelltheorie bewerteter Körper  (Vorlesungsverzeichnis, Seite im Learnweb - reserviert für Teilnehmer)

Seminar zur Modelltheorie - Stetige Logik  (gemeinsam mit Prof. Jahnke und Herrn Touchard,  Vorlesungsverzeichnis, Homepage)

Seminar zur Logik - Ultrafilter und die Keisler-Ordnung (gemeinsam mit Dr. Hoffelner, Prof. Schindler und Prof. Schlutzenberg,  Vorlesungsverzeichnis, Seite im Learnweb - reserviert für Teilnehmer)

Oberseminar Modelltheorie, Geometrie und Gruppentheorie (gemeinsam mit Prof. Jahnke und Prof. Tent,  Homepage)

Lehrveranstaltungen im WS 2018/19

Vorlesung Logik III - Vertiefung Modelltheorie  (Vorlesungsverzeichnis, Seite im Learnweb - reserviert für Teilnehmer)

Vorlesung Logische Grundlagen (Vorlesungsverzeichnis, Seite im Learnweb - reserviert für Teilnehmer)

Oberseminar Modelltheorie, Geometrie und Gruppentheorie (gemeinsam mit Prof. Jahnke und Prof. Tent,  Homepage)

Forschungsfreisemester im SoSe 2018

Lehrveranstaltungen im WS 2017/18

Vorlesung Logik 2  (Vorlesungsverzeichnis, Seite im Learnweb - reserviert für Teilnehmer)

Seminar zur Modelltheorie - o-minimale Strukturen (Vorlesungsverzeichnis, Seite im Learnweb)

Oberseminar Modelltheorie, Geometrie und Gruppentheorie (gemeinsam mit Prof. Jahnke und Prof. Tent,  Homepage)

Lehrveranstaltungen im SoSe 2017

Vorlesung Logik 1  (Vorlesungsverzeichnis, Seite im Learnweb - reserviert für Teilnehmer)

Seminar zur Modelltheorie - Stabile und NIP Körper  (gemeinsam mit Dr. Jahnke Vorlesungsverzeichnis, Homepage)

Oberseminar Modelltheorie, Geometrie und Gruppentheorie (gemeinsam mit Dr. Jahnke und Prof. Tent,  Homepage)

Lehrveranstaltungen im WS 2016/17

Vorlesung Berechenbarkeitstheorie  (Vorlesungsverzeichnis, Seite im Learnweb - reserviert für Teilnehmer)

Seminar zur Modelltheorie - Pseudoendliche Körper  (Vorlesungsverzeichnis, Seite im Learnweb - reserviert für Teilnehmer)

Sprechstunde: Freitag 10:30 - 11:30 Uhr (in Raum 815a)

FORSCHUNG

Herausgebertätigkeit

Mitherausgeber des Journal de l'Institut de Mathématiques de Jussieu

Veröffentlichungen

Doktorarbeit

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

Habilitation

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

Lehrbuch

  • Martin Hils und François Loeser, A first Journey through Logic, Band 89 der Reihe 'Student Mathematical Library', American Mathematical Society, Providence, RI, September 2019, 185 Seiten.

Veröffentlichte Artikel

  1. Assaf Hasson und 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 und Frank O. Wagner, Die böse Farbe (pdf, englische Übersetzung pdf)
    (J. Inst. Math. Jussieu 8(3) (2009), 415-443).
  5. Manuel Bodirsky, Martin Hils und 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).
    (Langversion: 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 und Martin Hils, Tractable Set Constraints (pdf)
    (J. Artif. Intell. Res. 4 (2012), 731-759).
    (Eine erweiterte Zusammenfasung dieses Artikels, in Zusammenarbeit mit Manuel Bodirsky und Alex Krimkevich, wurde in IJCAI'11, Barcelona, veröffentlicht.)
  8. Martin Bays, Misha Gavrilovich und Martin Hils, Some Definability Results in Abstract Kummer Theory (pdf)
    (Int. Math. Res. Notices 2014(14) (2014), 3975-4000).
  9. Artem Chernikov und Martin Hils, Valued Difference Fields and NTP2 (pdf)
    (Israel J. Math 2014 204(1) (2014), 299-327).
  10. Juan Diego Caycedo und Martin Hils, Bad Fields with Torsion (pdf)
    (J. Symbolic Logic 80(1) (2015), 221-233).
  11. Martin Bays, Martin Hils und Rahim Moosa, Model Theory of Compact Complex Manifolds with an Automorphism (pdf)
    (Trans. Amer. Math. Soc. 369(6) (2017), 4485-4516).
    Korrektur der Aussage des Satzes von der abelschen Gruppenkonfiguration  (Theorem C.2).
  12. Martin Hils, Moshe Kamensky und Silvain Rideau, Imaginaries in Separably Closed Valued Fields (pdf)
    (Proc. Lond. Math. Soc. 116(6) (2018), 1457-1488).

 

Lehrbuchkapitel

  • Martin Hils, Model Theory of Valued Fields (pdf)
    (Kapitel im Buch Lectures in Model Theory, herausgegeben von Franziska Jahnke, Daniel Palacin und Katrin Tent, Reihe Münster Lectures in Mathematics der European Mathematical Society, ISBN 978-3-03719-184-2, April 2018, 151-180).


Ausgewählte Vorträge und Tutorials

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