News
27 Sep, 2023: The slide was uploaded
Title
Computability of reals
Type
Lectures on Summer School on mathematical foundations in Japanese
Download
You can download the slide files on the website.
Solovay reducibility and signed-digit representation
Characterizations of Solovay reducibility via query restriction for signed-digit representation
News
21 Sep, 2023: The slide was uploaded
Title
Characterizations of Solovay reducibility via query restriction for signed-digit representation
Type
Talk on Mathematical Society of Japan
Download
mathsoc
Solovay reducibility and signed-digit representation
News
11 June, 2023: The slide was uploaded
Title
Solovay reducibility and signed-digit representation
Type
Talk on NUS workshop
Download
omega
Subclasses of the weakly computable reals
News
Title
Subclasses of the weakly computable reals
Type
Tokyo model theory seminar
26 Oct, 2022
Download