A method of construction via
forcing is developed which allows great freedom in the interplay among the number of
atoms, number of automorphisms, size of the algebra, and such objects of settheoretic
interest as c. As by-products we have
Theorem 1. The following is consistent: there is a 0-dimensional Hausdorff space with
fewer than c autohomeomorphisms, at least one of which moves a nonisolated
point.
Theorem 2. The following is consistent: there is an infinite Boolean algebra with more
automorphisms than elements, the number of whose automorphisms is not a power of
2.
|