19
Why we care: 2
•Satsfiability
•Given f, decide if 9 A s.t. A ² f
•
•Undecidable for FO  (Trakhtenbrot)
•Decidable for FO2   (WOW !)
•Undecidable for FO3  (Hmm….)