Differences
This shows you the differences between two versions of the page.
Both sides previous revision Previous revision | Last revision Both sides next revision | ||
sav08:compactness_for_first-order_logic [2008/03/20 17:56] vkuncak |
sav08:compactness_for_first-order_logic [2008/03/20 17:57] vkuncak |
||
---|---|---|---|
Line 1: | Line 1: | ||
====== Compactness for First-Order Logic ====== | ====== Compactness for First-Order Logic ====== | ||
- | *Theorem (Compactness for First-Order Logic):** If every finite subset of a set $S_0$ of first-order formulas has a model, then $S_0$ has a model. | + | **Theorem (Compactness for First-Order Logic):** If every finite subset of a set $S_0$ of first-order formulas has a model, then $S_0$ has a model. |
**Proof:** | **Proof:** |