Teorema de compacidad en sentido de barra

---

En lógica matemática , el teorema de compacidad de Barwise , llamado así por Jon Barwise , es una generalización del teorema de compacidad habitual para la lógica de primer orden a una cierta clase de lenguajes infinitos . Fue declarado y probado por Barwise en 1967.

Sea un conjunto admisible contable . Sea un lenguaje relacional finito . Supongamos que es un conjunto de -frases, donde es un conjunto con parámetros de , y cada subconjunto -finito de es satisfacible . Entonces es satisfacible.${\ estilo de visualización A}$${\ estilo de visualización L}$${\ estilo de visualización A}$${\ estilo de visualización \ gamma}$${\ estilo de visualización L_ {A}}$${\ estilo de visualización \ gamma}$${\ estilo de visualización \ Sigma _ {1}}$${\ estilo de visualización A}$${\ estilo de visualización A}$${\ estilo de visualización \ gamma}$${\ estilo de visualización \ gamma}$

---