Ernest Schimmerling

Mathematical logic seminar - October 31, 2006

Time: 12 - 1:20 p.m.

Room: WH 5304

Speaker: Yimu Yin
Department of Philosophy
Carnegie Mellon University

Title: Cell decomposition in valued fields

Abstract: I will discuss the method of cell decomposition in valued fields. This method gives quantifier elimination results that can be used to compute certain kinds of integrals.

Transparencies:    PDF