2
Outline
•
Trakhtenbrot’s theorem (Chapter 9.1)
•
Fagin’s theorem (Chapter 9.2)