BEGIN:VCALENDAR
VERSION:2.0
PRODID:researchseminars.org
CALSCALE:GREGORIAN
X-WR-CALNAME:researchseminars.org
BEGIN:VEVENT
SUMMARY:Mathieu Hoyrup (LORIA)
DTSTART:20250911T180000Z
DTEND:20250911T190000Z
DTSTAMP:20260423T035718Z
UID:OLS/191
DESCRIPTION:Title: <a href="https://researchseminars.org/talk/OLS/191/">Co
 mputable type: an overview</a>\nby Mathieu Hoyrup (LORIA) as part of Onlin
 e logic seminar\n\n\nAbstract\nA compact metrizable space X has computable
  type if for every set that is homeomorphic to X\, semicomputability is eq
 uivalent to computability. This notion was first studied by Joe Miller in 
 2002\, who showed that finite-dimensional spheres all have computable type
 . It was then developed by Zvonko Iljazović and his co-authors\, who show
 ed among many other results that compact manifolds also enjoy this propert
 y. I will present recent results on the notion of computable type\, obtain
 ed in collaboration with Djamel Eddine Amir during his PhD\, such as: a si
 mple characterization of 2-dimensional simplicial complexes having computa
 be type\, a proof that this property is not preserved by taking binary pro
 ducts.\n
LOCATION:https://researchseminars.org/talk/OLS/191/
END:VEVENT
END:VCALENDAR