Decidability of continuous theories of operator expansions of finite dimensional Hilbert spaces

Seminar series

Logic Seminar

Date

Tue, 23 Oct 2018
16:00

Location

Speaker

Alexander Ivanov

Organisation

Wroclaw

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.