Andrés Villaveces : Generic predicates over Hilbert spaces

Posted by Matthias Aschenbrenner , part of the Logic Seminar.

At

May 9, 2006, 4 p.m.

In

SEO 427

Abstract

I will present a new Fraïssé-Hrushovski style construction within the framework of continuous model theory, whose net result is a limit model of the theory of Hilbert Spaces with a generic distance function (to a generic "black spot"). This provides a new application of construction of limit models and a new example of a simple theory - in continuous model theory. This is joint work with Alexander Berenstein.