We study continuous theories of classes of finite dimensional Hilbert spaces expanded by
a finite family (of a fixed size) of unitary operators.
Infinite dimensional models of these theories are called pseudo finite dimensional dynamical Hilbert spaces.
Our main results connect decidability questions of these theories with the topic of approximations of groups by metric groups.
- Logic Seminar