Advanced32 min
Soundness, Completeness and Compactness
What the metatheorems guarantee, Gödel's completeness theorem, compactness and the Löwenheim–Skolem theorem.
Assumes you know
Not yet written
This lesson is on the syllabus but has no text yet
The full curriculum is published up front so you can see the whole route and its dependencies. Lessons are being written in curriculum order.
What it will cover
- soundness
- completeness
- compactness
- Lowenheim-Skolem