BEGIN:VCALENDAR
VERSION:2.0
PRODID:researchseminars.org
CALSCALE:GREGORIAN
X-WR-CALNAME:researchseminars.org
BEGIN:VEVENT
SUMMARY:Alexander Melnikov (Victoria University of Wellington)
DTSTART:20220412T010000Z
DTEND:20220412T020000Z
DTSTAMP:20260423T024534Z
UID:CTA/85
DESCRIPTION:Title: <a href="https://researchseminars.org/talk/CTA/85/">Pri
 mitive recursive mathematics</a>\nby Alexander Melnikov (Victoria Universi
 ty of Wellington) as part of Computability theory and applications\n\n\nAb
 stract\nWe discuss the recently revived approach to computable\nmathematic
 s via primitive recursion. This theory aims to\neliminate the use of unbou
 nded search from \ncomputable structure theory\, computable analysis\, etc
 .\nWe will be focused on the recent developments in the theory\,\nbut we b
 egin with an overview of what is known so far.\n
LOCATION:https://researchseminars.org/talk/CTA/85/
END:VEVENT
END:VCALENDAR