Mathematical Logic 15, The Ultrafilter Theorem

Statement and proof of the ultrafilter theorem using compactness of propositional logic. 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:09 Statement 0:28 Proof 1:08 Translate to Logic 3:28 Finite Subsets 4:57 X0 Sat'ble 9:06 The Ultrafilter