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:20221106T060000
END:STANDARD
END:VTIMEZONE
BEGIN:VEVENT
UID:6a23833f91dbd
DTSTART;TZID=America/Toronto:20230815T143000
SEQUENCE:0
TRANSP:TRANSPARENT
DTEND;TZID=America/Toronto:20230815T153000
URL:https://uwaterloo.ca/pure-mathematics-logic/events/cohesive-powers-comp
 utable-structures
SUMMARY:Cohesive Powers of Computable Structures
CLASS:PUBLIC
DESCRIPTION:VALENTINA HARIZANOV\, GEORGE WASHINGTON UNIVERSITY\n\nCohesive
  powers of computable structures are effective analogs of\nultrapowers\, w
 here the role of an ultrafilter is played by a cohesive\nset of natural nu
 mbers. A set is cohesive if it is infinite and cannot\nbe split into two i
 nfinite pieces by any computably enumerable set.\nThe inspiration for cohe
 sive powers goes back to Skolem’s 1934\nconstruction of a countable nons
 tandard model of arithmetic. The\nelements of a cohesive power are equival
 ence classes of partial\ncomputable functions\, so the power is at most co
 untable structure. We\nwill show how cohesive powers could give us nonstan
 dard models with\ninteresting properties.\n\nMC 5501
DTSTAMP:20260606T021735Z
END:VEVENT
END:VCALENDAR