Title: Computable Continuous Model Theory of Type III Factors
Abstract: I will present ongoing work with Isaac Goldbring and Bradd Hart. In 2020, a group of computer scientists announced the breakthrough result in quantum complexity theory that MIP*=RE. Among the consequences of this work is the statement that the universal theory of the hyperfinite II_1 factor is undecidable. Using techniques from computable continuous model theory, we will discuss extensions to the type III case. All of these words will be explained in the talk.