[Alta-Logic] Peripatetic seminar talk by Pavel Hrubes, 24th November

[Robin Cockett]

Time: 11:00am Wed. 24th Nov.

Place: ICT 616

Speaker: Pavel Hrubes

Title: Interpolation and implicit definability in schematic theories

Abstract: Craig's interpolation theorem and its corollary, Beth's 
definability theorem, state basic structural properties of first order 
logic. They both fail in the presence of extralogical schemes - notably 
in the case of Peano arithmetic and ZFC. I will discuss limitations of 
the theorems, and present a variant of interpolation for schematic 
extensions of PA.