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