Logic Seminar talk: Around Herbrand’s Theorem I

On November 28, 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 I

Abstract:

We present Gerhardy and Kohlenbach’s proof [1] of Herbrand’s Theorem for first-order logic, which uses the Dialectica interpretation.

References:

[1] P. Gerhardy, U. Kohlenbach, Extracting Herbrand disjunctions by functional interpretation. Arch. Math. Logic 44, 633–644, 2005.

The talk will take place physically at FMI (Academiei 14), Hall 214 “Google”.