CSSE 490: Logic: Day 27
Topics
Finish proof of completeness
Review of Completeness theorems
Materials
Slides
Definitions, lemmas and propositions
of Henkin's completeness proof.
Henkin's original proof
Homework
Day 28, BC: Read sections 17.3, 17.4, 18.7