Proof Society 2025

Speaker

Koshiro Ichikawa

Talks at this conference:

 Thu, 10:50 A modular ordinal analysis for fragments of induction principles
Contributed

 Overview  Program