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: alexsuciu@neu.edu | |
Posted: March 6, 2008 | URL: http://www.math.neu.edu/bhmn/hrushovski08.html |