Title: A model theorist’s perspective on the Connes Embedding Problem (and its resolution)

Abstract: In 2020, a group of computer scientists resolved the Connes Embedding Problem (CEP) from von Neumann algebra theory. In this informal talk, I’ll explain how basic ideas from mathematical logic can be used to simplify and strengthen the resolution of the CEP from the computer science result.

Professor Goldbring is giving a colloquium talk, Effective metric structure theory and operator algebras, at 3:30pm-4:20pm the same of this talk and you are welcome to attend.

Professor Goldbring is a Professor in the Mathematics Department at the University of California, Irvine and is a member of the group in Logic and Foundations. He also holds a courtesy appointment in the Department of Logic and Philosophy of Science. He currently has a NSF grant on Model theory, quantum complexity, and embedding problems in operator algebras. He is the Editor-in-Chief of the Journal of Logic and Analysis.