Mathematical Logic 12, Completeness and Compactness

A proof of completeness as well as some applications, and a proof of compactness. These videos are a companion to the textbook by Rautenberg, A Concise Introduction to Mathematical Logic: https://link.springer.com/book/10.1007/978-1-4419-1221-3 A link to the playlist: https://youtube.com/playlist?list=PLcwjc2OQcM4usoBzVwXNytSiQy1t1tpkK 0:00 Intro 0:10 Cons' to Sat'bl' 6:21 Completeness 8:06 Finite Entailment 8:54 Compactness