|Model theory of valued fields|
Abstract: I'll review some classical applications of model theory to p-adic varieties and integration, and more recent ones to arc spaces and motivic integration. Many of these depend on little more logic than the notion of a formula, and a quantifier elimination theorem over valued fields. I will then describe recent work towards a structure theory for definable sets.
|Web page: Alexandru I. Suciu||Comments to: firstname.lastname@example.org|
|Posted: March 6, 2008||URL: http://www.math.neu.edu/bhmn/hrushovski08.html|