Exploring Cut-Elimination and Determinacy in Reverse Mathematics by Philipp Provenzano 🧠

Join Philipp Provenzano's insightful talk on the reverse mathematics of cut-elimination and determinacy. Discover the latest developments in logic—more details at https://giovannisolda.github.io/ghent-logic-seminar.html.