TY  - RPRT
TI  - Hilbert Spaces with Generic Predicates
AU  - Alexander Berenstein
AU  - Tapani Hyttinen
AU  - Andrés Villaveces
PY  - 2017
UR  - https://arxiv.org/abs/0704.1633
ID  - 0704.1633
ER  -