An algebraic treatment of the Barwise compactness theory (Q1181483)
From MaRDI portal
scientific article
| Language | Label | Description | Also known as |
|---|---|---|---|
| English | An algebraic treatment of the Barwise compactness theory |
scientific article |
Statements
An algebraic treatment of the Barwise compactness theory (English)
0 references
27 June 1992
0 references
The authors suggest some new approach to understanding the Barwise compactness theorem. It is based upon a theorem on the extendability of certain subsets of a Boolean algebra to ultrafilters.
0 references
infinitary languages
0 references
Barwise compactness theorem
0 references
Boolean algebra
0 references
ultrafilters
0 references
