BEGIN:VCALENDAR
VERSION:2.0
PRODID:-//Drupal iCal API//EN
X-WR-CALNAME:Events items teaser
X-WR-TIMEZONE:America/Toronto
BEGIN:VTIMEZONE
TZID:America/Toronto
X-LIC-LOCATION:America/Toronto
BEGIN:DAYLIGHT
TZNAME:EDT
TZOFFSETFROM:-0500
TZOFFSETTO:-0400
DTSTART:20230312T070000
END:DAYLIGHT
BEGIN:STANDARD
TZNAME:EST
TZOFFSETFROM:-0400
TZOFFSETTO:-0500
DTSTART:20231105T060000
END:STANDARD
END:VTIMEZONE
BEGIN:VEVENT
UID:6a02dd65dc194
DTSTART;TZID=America/Toronto:20240228T143000
SEQUENCE:0
TRANSP:TRANSPARENT
DTEND;TZID=America/Toronto:20240228T153000
URL:https://uwaterloo.ca/pure-mathematics/events/logic-seminar-59
SUMMARY:Logic Seminar
CLASS:PUBLIC
DESCRIPTION:JANANAN ARULSEELAN\, MCMASTER UNIVERSITY\n\n\"COMPUTABLE CONTIN
 UOUS LOGIC\, QWEP\, AND TYPE III FACTORS\"\n\nBy the recent MIP*=RE result
 \, the QWEP conjecture is known to be\nfalse. Consequently\, the universal
  theory of the hyperfinite II_1\nfactor is not computable. We will explain
  these results and their\ncontext and then discuss the uncomputability of 
 the universal theories\nof other Powers factors and the lack of an effecti
 ve axiomatization of\nQWEP C^∗ algebras. As an application we show that 
 there is a\nultraproduct of non-QWEP algebras with QWEP. This is joint wor
 k with\nIsaac Goldbring and Bradd Hart.\n\nMC 5479
DTSTAMP:20260512T075725Z
END:VEVENT
END:VCALENDAR