Ernest Schimmerling

Mathematical logic seminar - September 19 and 26, 2006

Time: 12 - 1:20 p.m.

Room: WH 5304

Speaker: Yimu Yin
Department of Philosophy
Carnegie Mellon University

Title: Quantifier elimination for valued fields, parts 1 and 2

Slides:     PDF file for both talks combined

Abstract: I will discuss the model-theoretic approach in quantifier elimination for certain kind of valued fields, namely p-adically closed fields of a fixed p-rank. This generalizes a result of MacIntyre [M]. If time permits, I will also discuss the syntactical approach of quantifier elimination for algebraically close valued fields.

[M] MacIntyre, A., On definable subsets of p-adic fields, J. Symbolic Logic, no. 3, 1976