An Isaac Newton Institute Workshop

An Introduction to Recent Applications of Model Theory

The theory of a Hilbert space with a generic automorphism

Author: Alex Usvyatsov (The Hebrew University)


I will present an axiomatization for the continuous theory of a generic unitary representation of the group Z (integers), i.e. the theory of a Hilbert space with a generic automorphism. This is also the theory of the regular unitary representation of Z. I will describe the properties of this theory (e.g. superstable, non-multidimensional, non-omega stable) and present a full characterization of types using the spectral decomposition theorem. This is a joint work with Itay Ben-Yaacov and Moshe Zadka.