Hilbert Spaces with Generic Predicates

MaRDI QIDQ6205285arXivFDO

Authors Alexander Berenstein, Tapani Hyttinen, Andrés Villaveces

Publication date 12 April 2007

Published in arXiv

Mathematics Subject Classification ID

Quantifier elimination, model completeness, and related topics (03C10) Classification theory, stability, and related concepts in model theory (03C45) Models of other mathematical theories (03C65)

arXiv classification

math.LO

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 {omega}-stable, while the one obtained with the distance to a random subset is $T{P}_2$ and $NSO{P}_1$. That example is the first continuous structure in that class.

This page was built for publication: Hilbert Spaces with Generic Predicates

Report a bug (only for logged in users!)Click here to report a bug for this page (MaRDI item Q6205285)