Topology and Its Applications
In this paper we study an example-machine Bush(S, T) where S and T are disjoint dense subsets of R. We find some topological properties that Bush(S, T) always has, others that it never has, and still others that Bush(S, T) might or might not have, depending upon the choice of the disjoint dense sets S and T. For example, we show that every Bush(S, T) has a point-countable base, is hereditarily paracompact, is a non-Archimedean space, is monotonically ultra-paracompact, is almost base-compact, weakly alpha-favorable and a Baire space, and is an alpha-space in the sense of Hodel. We show that Bush(S, T) never has a sigma-relatively discrete dense subset (and therefore cannot have a dense metrizable subspace), is never Lindelof, and never has a sigma-disjoint base, a sigma-point-finite base, a quasi-development, a G(delta)-diagonal, or a base of countable order. We show that Bush(S, T) cannot be a beta-space in the sense of Hodel and cannot be a p-space in the sense of Arhangelskii or beta-space in the sense of Nagami. We show that Bush(P, Q) is not homeomorphic to Bush(Q, P). Finally, we show that a careful choice of the sets S and T can determine whether the space Bush(S, T) has strong completeness properties such as countable regular co-compactness, countable base compactness, countable subcompactness, and omega-Cech-completeness, and we use those results to find disjoint dense subsets S and T of R, each with cardinality 2(omega), such that Bush(S, T) is not homeomorphic to Bush(T, S). We close with a family of questions for further study. (C) 2012 Elsevier B.V. All rights reserved.
Bennett, H., Burke, D., & Lutzer, D. (2012). The big bush machine. Topology and its Applications, 159(6), 1514-1528.