John Baldwin : Henkin and Godel: the restricted predicate calculus is not quite first order logic and other variants on the completeness theorem

Posted by John Baldwin , part of the Logic Seminar.

At

Feb. 7, 2017, 4 p.m.

In

SEO 427

Abstract

We will discuss the substantial mathematical distinction between the proofs of Godel, Herbrand, and Henkin in what is usually seen as the same theorem. Then, we'll survey later extensions by Beth, Hintikka, Smullyan, Makkai leading to the plethora of theorems in logics extending first order finishing our story with the (new?) proof of completeness for continuous logic by Ben Yaacov and Petersen.

lunch noon. beer ???