BEGIN:VCALENDAR
VERSION:2.0
PRODID:researchseminars.org
CALSCALE:GREGORIAN
X-WR-CALNAME:researchseminars.org
BEGIN:VEVENT
SUMMARY:Tin Lok Wong (National University of Singapore)
DTSTART:20211215T090000Z
DTEND:20211215T100000Z
DTSTAMP:20260423T024537Z
UID:CTA/77
DESCRIPTION:Title: <a href="https://researchseminars.org/talk/CTA/77/">Ari
 thmetic under negated induction</a>\nby Tin Lok Wong (National University 
 of Singapore) as part of Computability theory and applications\n\n\nAbstra
 ct\nArithmetic generally does not admit any non-trivial quantifier elimina
 tion. I will talk about one exception\, where the negation of an induction
  axiom is included in the theory. Here the Weak Koenig Lemma from reverse 
 mathematics arises as a model completion.This work is joint with Marta Fio
 ri-Carones (Novosibirsk)\, Leszek Aleksander Kolodziejczyk (Warsaw) and Ke
 ita Yokoyama (Sendai).\n
LOCATION:https://researchseminars.org/talk/CTA/77/
END:VEVENT
END:VCALENDAR