๐”– Bobbio Scriptorium
โœฆ   LIBER   โœฆ

An Algebraic Proof of the Barwise Compactness Theorem.by Carol Karp; Jon Barwise

โœ Scribed by Review by: N. J. Cutland

Book ID
124972793
Publisher
Association for Symbolic Logic
Year
1974
Tongue
English
Weight
209 KB
Volume
39
Category
Article
ISSN
0022-4812

No coin nor oath required. For personal study only.

๐Ÿ“œ SIMILAR VOLUMES

An algebraic treatment of the barwise co
An algebraic treatment of the barwise compactness theory
โœ Isidore Fleischer; Philip Scott ๐Ÿ“‚ Article ๐Ÿ“… 1991 ๐Ÿ› Springer Netherlands ๐ŸŒ English โš– 437 KB

A theorem on the extendability of certain subsets of a Boolean algebra to ultrafilters which preserve countably many infinite meets (generalizing Rasiowa-Sikorsld) is used to pinpoint the mechanism of the Barwise proof in a way which bypasses the set theoretical elaborations. ## Technical summary