FoPM International Symposium

Name: FoPM International Symposium
Start: 2025-02-17T09:00:00+09:00
End: 2025-02-19T18:00:00+09:00
Location: Ito International Research Center and Yayoi Auditorium

17–19 Feb 2025

Ito International Research Center and Yayoi Auditorium

Asia/Tokyo timezone

Overview
Timetable
Contribution List
Speaker List
Layout of Ito International Research Center
Layout of Yayoi Hall (Japanese)
Poster
Group Photo

Contact

wings.s@gs.mail.u-tokyo.ac.jp

14. A categorical approach to Gödel's incompleteness via arithmetic universes

18 Feb 2025, 16:13

Event Space B2 (Ito International Research Center)

Event Space B2

Ito International Research Center

Poster Session

Yuto IKEDA

There are no materials yet.

Choose timezone

FoPM International Symposium

Contact

Speaker

Presentation materials