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 lógica de primer orden a una cierta clase de lenguajes infinitarios . Fue enunciado y demostrado por Barwise en 1967.
Sea un conjunto contable admisible . Sea un lenguaje relacional -finito . Supóngase que es un conjunto de -oraciones, donde es un conjunto con parámetros de , y cada subconjunto -finito de es satisfacible . Entonces es satisfacible.