Post Completeness and Ultrafilters
β Scribed by David Makinson; Krister Segerberg
- Publisher
- John Wiley and Sons
- Year
- 1974
- Tongue
- English
- Weight
- 310 KB
- Volume
- 20
- Category
- Article
- ISSN
- 0044-3050
No coin nor oath required. For personal study only.
π SIMILAR VOLUMES
The firs~ par~ of the paper deals with some subclasses of B-algebras ~t~d Sheir applications to the semantics of SCI n, ~he Boolean s~rengthening of the sentential calculus with i~lentity (SCI). In the second part a generalization of the ~cKinsey-Tarski construction of well.connected topological Boo
We prove that if every family in ( Ο Ο, \* ) of size less than c is bounded then there exists a point p in Q \* such that p generates an ultrafilter in the set-theoretic sense on Q and such that p has a base consisting of sets that are homeomorphic to Q. This is a partial answer to Question 30 (Prob