Logic Seminar
Sergei Starchenko
University of Notre Dame
A model theoretic proof of Bieri-Groves theorem
Abstract: In this talk we present a model theoretic proof of the following
theorem due to Bieri and Groves.
Theorem.
Let $V\subseteq (\mathbb{C}^*)^n$ be a variety.
For $h>0$ let $A_h$ be the set $h\cdot log(|V|)$ and
$A_0= lim_{h->0} A_h$.
Then $A_0$ is a semi-linear cone in $\mathbb{R}^n$.
Tea in 427 SEO at 4. Talk will begin c. 4:15.
Monday February 18, 2008 at 4:00 PM in SEO 427