Tag
compactness
2 resources tagged “compactness” across the knowledge library.
2 items
Guide6 Aug 2026The Boolean Prime Ideal TheoremThe Boolean Prime Ideal Theorem, its equivalent formulations, its strength relative to the axiom of choice, and which results in this collection depend on it.5 min readRead MoreGuide6 Aug 2026The Compactness Theorem and its ConsequencesThe compactness theorem, its proof by ultraproducts, the standard consequences including non-standard models, and the systematic list of properties first-order logic cannot express.5 min readRead More