Date

Name

Title

Description

8/30

Marker

Basics of valued fields I

The talk will be a brief introduction to valued fields and some of the results that are needed to prove quantifier elimination. Notes

9/6

Freitag

Consequences of quantifier elimination

We will discuss some consequences of quantifier elimination.

9/13

Freitag/Marker

Basics of valued fields II: QE

The proof of QE for ACVF will be completed. Notes

9/20

Berner

Elimination of Imaginaries I

Berner covered the definable modules material.

9/27

Berner/Wolf

Elimination of Imaginaries II


10/4

No seminar



10/11

Wolf

Elimination of Imaginaries III 
Wolf covered the generalities on the independence notions defined in section 2.

10/18

Freitag

Elimination of Imaginaries IV

Freitag covered an abstract criterion for EI and then started the coding of finite sets.

10/25

Freitag/Sluutsky

Elimination of Imaginaries IV

