Hilbert Spaces with Generic Predicates

Alexander Berenstein, Tapani Hyttinen, Andrés Villaveces

We study the model theory of expansions of Hilbert spaces by generic predicates. We first prove the existence of model companions for generic expansions of Hilbert spaces in the fo…