On December 5, 2024 at 14:00 EET, Andrei Sipoș (University of Bucharest and IMAR) will give a talk in the Logic Seminar.
Title: Around Herbrand’s Theorem II
Abstract:
We present our extension [2] to first-order arithmetic of Gerhardy and Kohlenbach’s proof [1] of Herbrand’s Theorem.
References:
[1] P. Gerhardy, U. Kohlenbach, Extracting Herbrand disjunctions by functional interpretation. Arch. Math. Logic 44, 633–644, 2005.
[2] A. Sipoș, On extracting variable Herbrand disjunctions. Studia Logica 110, 1115–1134, 2022.
The talk will take place physically at FMI (Academiei 14), Hall 214 “Google”.