Combinatorics (and much more) in Subsystems of Second Order Arithmetic: A Conference in Honor of Jeff Hirst

Saturday · August 9, 2025 · TU Wien · Vienna, Austria