KnowraCompactness theoremLinked fromLinked fromThe 22 pages that link to Compactness theorem, each with the reason it gives.All 22Related 17Compared with 5Second-order logicCompared with: Compactness fails for full second-order consequence.Forcing (mathematics)Compared with: It is another model-theoretic tool, but does not construct extensions by adjoining generic sets.Deduction theoremCompared with: It is a major model-theoretic result, unlike this proof-transformation principle.Craig interpolationCompared with: Compactness concerns finite satisfiability, not factoring an entailment through shared vocabulary.Trakhtenbrot's theoremCompared with: Compactness relies on arbitrary models and does not preserve finite satisfiability.