## S(z A y ) z S(A), by (c) * S(z) A S(Y) 2 S(A) e S(x) 2 S(A) and S(y) 2 S(A) e C ( s ) s C ( A ) 'and C ( y ) E C ( A ) , by (c) o x β¬ C ( A ) and Y E C ( A ) . Now every ultrafilter is consistent and closed with respect to C, since if U is an ultrafilter and C ( U ) = X , then C({,uu,, . . ., ,
BOOLEAN ALGEBRAS IN AST
β Scribed by Klaus Schumacher
- Publisher
- John Wiley and Sons
- Year
- 1992
- Tongue
- English
- Weight
- 489 KB
- Volume
- 38
- Category
- Article
- ISSN
- 0044-3050
No coin nor oath required. For personal study only.
β¦ Synopsis
Abstract
In this paper we investigate Boolean algebras and their subalgebras in Alternative Set Theory (AST). We show that any two countable atomless Boolean algebras are isomorphic and we give an example of such a Boolean algebra. One other main result is, that there is an infinite Boolean algebra freely generated by a set. At the end of the paper we show that the sentence βThere is no nonβtrivial free group which is a setβ is consistent with AST.
π SIMILAR VOLUMES
## Abstract We introduce properties of Boolean algebras which are closely related to the existence of winning strategies in the BanachβMazur Boolean game. A __Ο__βshort Boolean algebra is a Boolean algebra that has a dense subset in which every strictly descending sequence of length __Ο__ does not
## Abstract We characterize complete Boolean algebras with dense subtrees. The main results show that a complete Boolean algebra contains a dense tree if its generic filter collapses the algebra's density to its distributivity number and the reverse holds for homogeneous algebras. (Β© 2006 WILEYβVCH
The representation of algebras by Boolean products is a very general problem in universal algebra. In this paper we shall characterize the Boolean products of BL-chains, the weak Boolean products of local BL-algebras, and the weak Boolean products of perfect BL-algebras.
We consider eight special kinds of subalgebras of Boolean algebras. In Section 1 we describe the relationships between these subalgebra notions. In succeeding sections we consider how the subalgebra notions behave with respect to the most common cardinal functions on Boolean algebras.