Quantifier elimination for henselian valued fields relative to the associated Krasner hyperfields

2022-10-24 10:00 — 11:00 FAMNIT-MP1 ALESSANDRO LINZI (University of Nova Gorica, Slovenia) Quantifier elimination for henselian valued fields relative to the associated Krasner hyperfields The model theory of valued fields has been extensively studied after, in 1965, the work of…




