Henkin and Godel: the restricted predicate calculus is not quite first order logic and other variants on the completeness theorem
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 ???
Tuesday February 7, 2017 at 4:00 PM in SEO 427