Atlas home || Conferences | Abstracts | about Atlas

International Conference and Workshop on Valuation Theory
July 26 - August 11, 1999
University of Saskatchewan
Saskatoon, SK, Canada

Organizers
Franz-Viktor Kuhlmann, Salma Kuhlmann, Murray Marshall, Deirdre Haskell, Hans Schoutens

View Abstracts
Conference Homepage

Model theory of valued fields (tutorial)
by
Tim Gardener
Max-Planck-Institut fuer Mathematik, Bonn

My brief is to give an introduction to the theorems of Ax and Kochen and to show how model theoretic ideas such as quantifier elimination provide useful tools in valuation theory.

Date received: July 10, 1999


Copyright © 1999 by the author(s). The author(s) of this document and the organizers of the conference have granted their consent to include this abstract in Atlas Conferences Inc. Document # cacv-76.