[next] [prev] [prev-tail] [tail] [up]

4.5 Modelltheorie

Seminar:

Modelltheorie

  

Dozent:

Martin Ziegler

  

Zeit/Ort:

Mi 11-13, SR 318 Eckerstr.1

  

Tutorium:

Nina Frohn, N.N.

  

Vorbesprechung:

Mi 23.7.2008, 11:15, SR318

  

Web-Seite:

http://home.mathematik.uni-freiburg.de/ziegler/veranstaltungen/ ws0809-seminar.html

  

Inhalt:

Wir besprechen einen kürzlich erschienen Artikel von Bélair, Macintyre und Scanlon über die Modelltheorie der Wittvektoren.

Wenn K ein perfekter Körper der Charakteristik p ist, ist der Ring W(K) der Wittvektoren ein vollständiger diskret bewerteter Körper der Charakteristik Null mit K als Restklassenkörper. Die elementare Theorie dieser bewerteten Körper wird nach Ax-Ershov-Kochen axiomatisiert durch Hensels Lemma und Axiome für K und die Wertgruppe.

W(K) hat nun zusätzlich einen natürlichen Automorphismus Φ, der vom Frobenius von K herrührt. Belair, Macintyre und Scanlon entwickeln die Modelltheorie von (W(K), Φ).

Eine Kopie ihres Artikels findet sich auf Scanlons Webseite http://math.berkeley.edu/ scanlon/papers/papers.html.

Literatur:

  1. Thomas Sclanon, Luc Bélair and Angus Macintyre Model theory of the Frobenius on the Witt vectors American Journal of Mathematics, Volume 129, Number 3, June 2007, 665 - 721.

Typisches Semester:

6. Semester

Studienschwerpunkt:

Mathematische Logik

Nützliche Vorkenntnisse:

Logik, Algebra

Folgeveranstaltungen:

Seminar über Modelltheorie

  

Sprechstunde Dozent:

nach Vereinbarung

[next] [prev] [prev-tail] [front] [up]