Logic Seminar
Andrés Villaveces
Universidad Nacional de Colombia, Bogotá
Generic predicates over Hilbert spaces
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.
Tuesday May 9, 2006 at 4:00 PM in SEO 427