Hilbert Spaces with Generic Predicates

2007/04/12 by Alexander Berenstein, Berenstein, Alexander, Tapani Hyttinen +3
Mathematics · #03B99 #03C10 #03C30 #03C45 #FOS: Mathematics #Logic (math.LO) #math.LO #msc:03B99 #msc:03C10 #msc:03C30 #msc:03C45

paper · pdf · doi:10.48550/arxiv.0704.1633

27 pages

arxiv created 2017/03/20 · arxiv updated 2017/03/22

Abstract

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 first of a distance function to a random substructure, then a distance to a random subset. The theory obtained with the random substructure is ω-stable, while the one obtained with the distance to a random subset is TP₂ and NSOP₁. That example is the first continuous structure in that class.

Related

• CP-generic expansions of models of Peano Arithmetic
• Vector spaces with a dense-codense generic submodule
• Hilbert spaces with generic groups of automorphisms
• Model theory of Hilbert spaces expanded by normal operators
• Model Theory of Scattered Piecewise Interpretable Hilbert Spaces