Veranstaltungen im WS 2011/2012 |
||
p-adicaly Closed Fields Seminar 2-std. - ECTS: 6 |
Di. 14-16 (oder n.V.) |
S. Kuhlmann L. Gregory |
The aim of this seminar is to prove quantifier
elimination for Q_p in the language of rings extended by a unary predicate for nth powers.
This result is the p-adic equivalent of the Tarski-Seidenberg theorem for the real
ordered field (quantifier elimination for the theory of real closed fields).
The underlying algebraic theory used to achieve this result is the theory of
p-valued fields. In the analysis of Q_p, p-valued fields should be seen as parallel
to ordered field in the analysis of R. Knowledge of Valuation theory and Model theory will be helpful, however Dr. Lorna Gregory will present a summary of the necessary background material. This seminar will follow the book "Formally p-adic Fields" by Prestel and Roquette, covering the first 5 chapters. The material will be organised into 14 seminars. Voraussetzungen: Das Seminar richtet sich an Studierende des 5., 7. und 9. Semesters. Zielgruppe: BA, MA, D Vorbesprechung: Dienstag, 18. Oktober 2011, 14.00 Uhr c.t. im Raum F433 Siehe auch Kommentar zum Seminar. Weitere Informationen gibt es hier. |
Fachbereich Mathematik und Statistik |
Universität Konstanz |
Schwerpunkt Reelle Geometrie und Algebra > Prof. Dr. Salma Kuhlmann |