Model Theory of Hilbert Spaces With a Discrete Group Action

Alexander Berenstein,Juan Manuel Pérez
2024-12-18
Abstract:In this paper we study expansions of infinite dimensional Hilbert spaces with a unitary representation of a discrete countable group. When the group is finite, we prove the theory of the corresponding expansion is model complete, $\aleph_0$-categorical, $\aleph_0$-stable and SFB. On the other hand, when the group involved is countably infinite, the theory of the Hilbert space expanded by the representation of this group is $\aleph_0$-categorical up to perturbations. Additionally, when the expansion is model complete, we prove that is $\aleph_0$-stable up to perturbations.
Logic
What problem does this paper attempt to address?