Hilbert spaces with generic predicates

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 form of a distance function to a random substructure, then a distance to a random subset. The theory obtained with the ran...