Veranstaltungen
Veranstaltungen der Fakultät für Mathematik
Existentially definable sets, valuations, and quadratic forms, als obsgua
Termin
19.05.2022, 16:15 Uhr -
Veranstaltungsort
M/E23
Abstract
Existential definability of subsets of fields, in particular of subrings, has been studied since the 1940'ies, and has seen several applications to problems of existential decidability (generalising Hilbert's 10th Problem). To establish existential definability of valuation rings, quadratic forms often play a substantial role. In this talk, we illustrate the connection between existential definability and quadratic form theory by giving some historical examples, and then discuss a recent result relying on modern developments in quadratic form theory, like a local-global principle for function fields over complete valued fields.
Vortragende(r)
Nicolas Daans
Herkunft der/des Vortragenden
Antwerpen