BEGIN:VCALENDAR
VERSION:2.0
PRODID:researchseminars.org
CALSCALE:GREGORIAN
X-WR-CALNAME:researchseminars.org
BEGIN:VEVENT
SUMMARY:Jeff Hirst (Appalachian State University)
DTSTART:20210223T200000Z
DTEND:20210223T210000Z
DTSTAMP:20260423T024651Z
UID:CTA/50
DESCRIPTION:Title: <a href="https://researchseminars.org/talk/CTA/50/">Cur
 rent thoughts on Hindman’s Theorem</a>\nby Jeff Hirst (Appalachian State
  University) as part of Computability theory and applications\n\n\nAbstrac
 t\nThe exact reverse mathematical strength of Hindman’s theorem is a lon
 g standing open question.  This talk will discuss efforts to carry out an 
 ultrafilter-based proof using only arithmetical comprehension.  A particul
 ar emphasis is the definability of a class of sets that witness that certa
 in ultrafilters do not encode homogeneous sets for Hindman’s theorem.\n
LOCATION:https://researchseminars.org/talk/CTA/50/
END:VEVENT
END:VCALENDAR