Some notes concerning the homogeneity of Boolean algebras and Boolean spaces

被引:2
|
作者
Geschke, S
Shelah, S
机构
[1] Free Univ Berlin, Math Inst, D-14195 Berlin, Germany
[2] Hebrew Univ Jerusalem, Math Inst, IL-91904 Jerusalem, Israel
[3] Rutgers State Univ, Dept Math, Piscataway, NJ 08854 USA
关键词
homogeneous space; homogeneous Boolean algebra; first countable; interval algebra; linear order; Aronszajn tree;
D O I
10.1016/S0166-8641(03)00103-2
中图分类号
O29 [应用数学];
学科分类号
070104 ;
摘要
In this article we consider homogeneity properties of Boolean algebras that have nonprincipal ultrafilters; which are countably generated. It is shown that a Boolean algebra B is homogeneous if it is the union of countably generated nonprincipal ultrafilters, and has a dense subset D such that for every a E D the relative algebra B\a := {b is an element of B: b less than or equal to a} is isomorphic to B. In particular, the free product of countably many copies of an atomic Boolean algebra is homogeneous. Moreover, a Boolean algebra B is homogeneous if it satisfies the following conditions: (i) B has a countably generated ultrafilter, (ii) B is not c.c.c., and (iii) for every a is an element of B\{0} there are finitely many automorphisms h(1),..., h(n) of B such that 1 = h(1)(a) boolean OR ... boolean OR h(n) (a). These results generalize theorems due to Motorov [Russian Math. Surveys 44 (16) (1989) 190191] on the homogeneity of first countable Boolean spaces. Finally, we provide three constructions of first countable homogeneous Boolean spaces that are linearly ordered. The first construction gives separable spaces of any prescribed weight in the interval [aleph0, 2(aleph)0]. The second construction gives spaces of any prescribed weight in the interval [aleph(1), 2(aleph0)] that are not c.c.c. The third construction gives a space of weight aleph(1) which is not c.c.c. and which is not a continuous image of any of the previously described examples. (C) 2003 Elsevier B.V. All rights reserved.
引用
收藏
页码:241 / 253
页数:13
相关论文
共 50 条