On May 25, 2023 at 14:00 EEST, Eugenio Omodeo (DMG, Università degli studi di Trieste) will give a talk in the Logic Seminar.
Title: Does every computably enumerable set admit a univocal Diophantine specification?
For the abstract and references, see this file.
Google Meet link: https://meet.google.com/xwm-syvx-bbr