Lokale Körper, d.h. lokal kompakte nicht-diskrete topologische Körper, spielen eine wichtige Rolle in vielen Bereichen der Mathematik, etwa in der Zahlentheorie. Neben den Körpern der reellen und komplexen Zahlen, den einzigen archimedischen Beispielen, handelt es sich dabei gerade um die vollständigen diskret bewerteten Körper mit endlichem Restklassenkörper, genauer endliche Erweiterungen von p-adischen Körpern bzw. formale Laurentreihenkörpern über endlichen Körpern.
Im Vortrag werde ich einen Überblick über die Modelltheorie lokaler Körper geben. In Charakteristik 0 sind sowohl die archimedischen als auch die nichtarchimedischen modelltheoretisch gut verstanden. In positiver Charakteristik gibt es hingegen viele offene Fragen. Ein gefeiertes Resultat aus den 1960er Jahren (das Ax-Kochen-Ershov Prinzip) besagt jedoch, dass sich die lokalen Körper positiver Charakteristik p mit Blick auf Eigenschaften, die in der Logik erster Stufe ausdrückbar sind, für p groß genug wie ihre Analoga in Charakteristik 0 verhalten.
https://wwu.zoom.us/j/66320381043
Meeting-ID: 663 2038 1043
Kenncode: 289374