| 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 |