Barwise compactness theorem
In mathematical logic, the Barwise compactness theorem, named after Jon Barwise, is a generalization of the usual compactness theorem for first-order logic to a certain class of infinitary languages. It was stated and proved by Barwise in 1967.
Wikipage redirect
primaryTopic
Barwise compactness theorem
In mathematical logic, the Barwise compactness theorem, named after Jon Barwise, is a generalization of the usual compactness theorem for first-order logic to a certain class of infinitary languages. It was stated and proved by Barwise in 1967.
has abstract
Em Lógica matemática, o teorem ...... e provado por Barwise em 1967.
@pt
In mathematical logic, the Bar ...... and proved by Barwise in 1967.
@en
Link from a Wikipage to an external page
Wikipage page ID
17,971,241
Wikipage revision ID
595,914,993
hypernym
comment
Em Lógica matemática, o teorem ...... e provado por Barwise em 1967.
@pt
In mathematical logic, the Bar ...... and proved by Barwise in 1967.
@en
label
Barwise compactness theorem
@en
Teorema de compacidade de Barwise
@pt