|Time:|| 12 - 1:20 p.m.
Department of Philosophy
Carnegie Mellon University
|Title:||Quantifier elimination for valued fields, parts 1 and 2||
|Slides:||PDF file for both talks combined
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