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:20190310T070000
END:DAYLIGHT
BEGIN:STANDARD
TZNAME:EST
TZOFFSETFROM:-0400
TZOFFSETTO:-0500
DTSTART:20191103T060000
END:STANDARD
END:VTIMEZONE
BEGIN:VEVENT
UID:6a24391e60d21
DTSTART;TZID=America/Toronto:20191105T140000
SEQUENCE:0
TRANSP:TRANSPARENT
DTEND;TZID=America/Toronto:20191105T140000
URL:https://uwaterloo.ca/pure-mathematics/events/computability-learning-sem
 inar-110
SUMMARY:Computability Learning Seminar
CLASS:PUBLIC
DESCRIPTION:LUKE MACLEAN\, DEPARTMENT OF PURE MATHEMATICS\, UNIVERSITY OF W
 ATERLOO\n\n\"Reverse Mathematics\"\n\nWe say that $S \\subseteq \\mathcal{
 P}(\\omega)$ is an $\\omega$-model of\na subsystem of second order arithme
 tic if the $L_2$\nstructure $(\\omega\, S\, +\, \\cdot\, 0\, 1\, <)$ corr
 ectly models the\nsubsystem in question. The goal of this lecture will be
  to prove that\nthere is an $\\omega$-model of $WKL_0$ consisting entirel
 y of low\nsets. \n\nThis will involve learning about PA degrees and the l
 ow basis theorem.\n\nAll are welcome.\n\nMC 5413
DTSTAMP:20260606T151334Z
END:VEVENT
END:VCALENDAR