An algebraic treatment of the barwise compactness theory |
| |
| Authors: | Isidore Fleischer Philip Scott |
| |
| Affiliation: | (1) Department of Mathematics, University of Windsor, Canada;(2) Department of Mathematics, University of Ottawa, Canada |
| |
| Abstract: | A theorem on the extendability of certain subsets of a Boolean algebra to ultrafilters which preserve countably many infinite meets (generalizing Rasiowa-Sikorski) is used to pinpoint the mechanism of the Barwise proof in a way which bypasses the set theoretical elaborations.During the preparation of this work the second author was a postdoctoral visitor at the C. R. M. supported by a National Council of Canada operating grant. |
| |
| Keywords: | |
| 本文献已被 SpringerLink 等数据库收录！ |
