Compactness

As almost the last thing in almost my last lecture a week or so ago, one of the highlights was the Compactness Theorem for first-order logic together with some of its consequences (sucuh as the upward Löwenheim–Skolem theorem). Some of … Continue reading →