Logic Seminar
Matthias Aschenbrenner
UCLA
Lipschitz maps and definability.
Abstract:
A classical result due to Kirszbraun (1934), which plays an important role in geometric measure theory, shows that every Lipschitz map $S\to\mathbb R^n$ on a subset $S$ of $\mathbb R^m$ can be extended to a Lipschitz map $\mathbb R^m\to\mathbb R^n$ with the same Lipschitz constant. The usual proofs of this theorem in the literature employ, in some form or other, the Axiom of Choice. We discuss a definable version of this result. (Joint with Andreas Fischer.)
seminar begins with tea
Tuesday September 22, 2009 at 4:00 PM in SEO 612