Model Theory Seminar – Jananan Arulseelan – Computable Continuous Model Theory of Type III Factors
	
 Oct 4, 2022 
 2:30PM to 3:30PM





	





























Date/Time

Date(s) - 04/10/2022
2:30 pm - 3:30 pm





Speaker: Jananan Arulseelan (McMaster University) 


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.


Location: Hamilton Hall 207