GLP via proofs
Seminar Talk, Ghent Mathematical Logic Seminar, Ghent, Belgium
Abstract available here.
Talks and presentations
Modern Tools for Arithmetical Completeness: Provability Models and Proofs Permalink
Invited Talk, Conference Logic and Applications 2026, Dubrovnik, Croatia
Abstract available here.