LEHRE

Prüfungsbeauftragter für die Masterstudiengänge im Fach Mathematik

Modulbeauftragter Mathematische Logik

Sprechstunde

während des Forschungsfreisemesters: nach Vereinbarung

Forschungsfreisemester im WiSe 2022/23

Lehrveranstaltungen im SoSe 2022

Vorlesung Logic 3 - NIP Theories (Seite im Learnweb)

Blockseminar (im Landhaus Rothenberge) Modelltheorie von Körpern (gemeinsam mit JProf. Jahnke, Seite im Learnweb)

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

Lehrveranstaltungen im WiSe 2021/22

Vorlesung Logik 2 - Einführung in die Modelltheorie (Seite im Learnweb)

Seminar zur Modelltheorie - Introduction to Stability Theory (Seite im Learnweb)

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

Lehrveranstaltungen im SoSe 2021

Vorlesung Logik 1 (Seite im Learnweb)

Seminar zur Modelltheorie - Modelltheorie pseudoendlicher Strukturen (gemeinsam mit Dr. Bays und Prof. Tent, Seite im Learnweb)

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

Lehrveranstaltungen im WiSe 2020/21

Vorlesung Berechenbarkeitstheorie (Seite im Learnweb)

Seminar O-Minimality and the André-Oort Conjecture (gemeinsam mit Prof. Hartl, Seite im Learnweb)

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

Lehrveranstaltungen im SoSe 2020

Vorlesung Lineare Algebra II (Vorlesungsverzeichnis, Seite im Learnweb)

Seminar zur Modelltheorie - Hrushovski-Amalgamierung (gemeinsam mit Dr. Bays, Herrn Boissonneau und Prof. Tent, Vorlesungsverzeichnis, Seite im Learnweb)

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

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)

 

FORSCHUNG

Herausgebertätigkeit

Herausgeber (editor-in-chief) der neuen Zeitschrift Model Theory, bei der nun Beiträge eingereicht werden können.

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).

Preprints

  • Martin Hils, Ehud Hrushovski und Pierre Simon, Definable Equivariant Retractions in Non-Archimedean Geometry (arXiv:2101.02619v1 [math.LO] pdf (2021), 29 Seiten).
  • Martin Hils und Rosario Mennuni, The domination monoid in henselian valued fields (arXiv:2108.13999v1 [math.LO] pdf (2021), 35 Seiten).
  • Martin Hils und Silvain Rideau-Kikuchi, Un principe d'Ax-Kochen-Ershov imaginaire (arXiv:2109.12189v1 [math.LO] pdf (2021), 61 Seiten).
  • Pablo Cubides Kovacsics, Martin Hils und Jinhe Ye, Beautiful pairs (arXiv:2112.00651v1 [math.LO] pdf (2021), 40 Seiten).
  • Martin Hils und Rosario Mennuni, Some definable types that cannot be amalgamated (arXiv:2207.09787v1 [math.LO] pdf (2022), 4 Seiten).
  • Martin Hils und Stefan Marian Ludwig, An Approximate AKE Principle for Metric Valued Fields (arXiv:2208.10186v1 [math.LO] pdf (2022), 21 Seiten).

 

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 Tagung Workshop 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)
  • Spaces of definable types and beautiful pairs in unstable theories (Video)
    (Vortrag im Model Theory Seminar, MSRI, Berkeley, Dezember 2020)
  • Beautiful pairs of unstable theories and spaces of definable types (Video)
    (Vortrag auf der Tagung Workshop on Trends in Pure and Applied Model Theory, Fields Institute, Toronto, Juli 2021)