Definability, decidability, and computability 

Disclaimer: This is an website for sharing information about the trimester program among participants. For applications and information about the HIM itself, please see the official website:

https://www.mathematics.uni-bonn.de/him/programs/current-trimester-program/him-trimester-program-definability-decidability-and-computability