Coproducts and ultrafilters
✍ Scribed by Reinhard Börger
- Publisher
- Elsevier Science
- Year
- 1987
- Tongue
- English
- Weight
- 789 KB
- Volume
- 46
- Category
- Article
- ISSN
- 0022-4049
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
The crucial discovery reported here is that the free monoid U\* on the input set U does not yield a sufficiently rich set of inputs when algebraic structure is placed on the machine. For group machines, the appropriate structure is the coproduct U~ of an infinite sequence of copies of U. U~ reduces