BEGIN:VCALENDAR
VERSION:2.0
PRODID:researchseminars.org
CALSCALE:GREGORIAN
X-WR-CALNAME:researchseminars.org
BEGIN:VEVENT
SUMMARY:Ellen Hammatt (Victoria University of Wellington)
DTSTART:20240215T190000Z
DTEND:20240215T200000Z
DTSTAMP:20260423T021313Z
UID:OLS/146
DESCRIPTION:Title: <a href="https://researchseminars.org/talk/OLS/146/">Pu
 nctual Structures</a>\nby Ellen Hammatt (Victoria University of Wellington
 ) as part of Online logic seminar\n\n\nAbstract\nIn this talk we investiga
 te what happens when we take concepts from computable structure theory and
  forbid the use of unbounded search. In other words\, we discuss the primi
 tive recursive content of structure theory. This central definition is tha
 t of punctual structures\, introduced by Kalimullin\, Melnikov and Ng in 2
 017. We investigate various concepts from computable structure theory in t
 he primitive recursive case. A common theme is that new techniques are req
 uired in the primitive recursive case. We also discuss a degree structure 
 within punctual presentations which is induced by primitive recursive isom
 orphisms. This degree structure is a new concept that does not arise in co
 mputable structure theory.\n
LOCATION:https://researchseminars.org/talk/OLS/146/
END:VEVENT
END:VCALENDAR