Title: Effective metric structure theory and operator algebras
Abstract: Going back to the work of Turing in the early 20th century, studying what sets and functions are computable has been a fruitful area of research. Usually, such computability-theoretic issues are restricted to countable, discrete objects such as graphs, groups, rings, etc. However, one can transport these ideas to the setting of structures from analysis based on separable metric spaces and in doing so, one can pursue a nontrivial study of computability-theoretic aspects of such structures as Banach spaces, probability algebras, etc. Such effective metric structure theory has been an active area of research in the past couple of decades. In this talk, I will survey some results of a computability-theoretic nature as applied to operator algebras.

In conjunction with this colloquium, Professor Goldbring is giving a special lecture: A model theorist’s perspective on the Connes Embedding Problem (and its resolution), at 12:30pm-1:20pm in the same day of this colloquium at Muhly Lounge, MLH on introductory materials related with this colloquium.

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.

If you want information on announcements of future colloquiums, send your request to colloquium-math@uiowa.edu