Em Lógica matemática, o teorema da compaccidade de Barwise, em homenagem a Jon Barwise, é uma generalização do teorema da compacidade usual para a lógica de primeira ordem para uma determinada classe de linguagens infinitárias. Foi afirmado e provado por Barwise em 1967.
Demonstração do teorema Seja um conjunto admissível contável. Seja uma -linguagem finita relacional. Suponha que seja um conjunto de -sentenças, onde é um conjunto com parametros de , e todo -subconjunto finito de é satisfatível. Então é satísfativel.
Referências
Ligações externas [http://plato.stanford.edu/entries/logic-infinitary/#5 Stanford]Encyclopedia of Philosophy, "Infinitary Logic", Section 5, "Sublanguages of L(ω1,ω) and the Barwise Compactness Theorem"
Categoria:Lógica matemática