Authors: Aleksander Ivanov

We describe how properties of metric groups and of unitary representations of metric groups can be presented in continuous logic. In particular we find Lω 1 ω -axiomatization of amenability. We also show that in the case of locally compact groups some uniform version of the negation of Kazhdan’s property (T) can be viewed as a union of first-order axiomatizable classes. We will see when these properties are preserved under taking elementary substructures.

• 03C66 - Continuous model theory, model theory of metric structures
• 22A15 - Structure of topological semigroups
• 22D05 - General properties and structure of locally compact groups