← Back to Talks

A categorical approach to Gödel’s incompleteness via arithmetic universes

Yuto Ikeda 2nd FoPM International Symposium, February 2025, Tokyo, Japan (Poster)
Poster (PDF) 
@misc{ikeda-fopm2025,
  author       = {Ikeda, Yuto},
  title        = {A Categorical Approach to {G{\"o}del}'s Incompleteness via Arithmetic Universes},
  howpublished = {Poster at 2nd FoPM International Symposium},
  year         = {2025},
  month        = feb,
  url          = {https://ikeda.ac/talks/fopm2025/}
}