CS486 Spring 1997

Lecture 13 Tuesday, March 4, 1997
Reading: Smullyan Chapter V §4
Hint for problem 1, assignment 6

• First-order compactness
  • Löwenheim theorem
    • parameters form finite model (called a Herbrand model)
    • idea for a decidability theorem
  • Satisfiability in a finite domain
    • example
    • idea for a decidability theorem
  • Monadic predicate calculus is decidable
    • use predicates of formula to partition universe into equivalence classes
• Sample case for class theorem in the rule
• First-order theories
  • Peano axioms
  • Q axioms

• About this document ...