Proof Society 2025

Speaker

Toshiyasu Arai

University of Tokyo

Talks at this conference:

 Thu, 15:50 Proof theory of stable ordinals
Invited

 Overview  Program