The Big Bush machine

Harold Bennett, Dennis Burke, David Lutzer

Research output: Contribution to journalArticlepeer-review

5 Scopus citations


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 α-favorable and a Baire space, and is an α-space in the sense of Hodel. We show that Bush(S, T) never has a σ-relatively discrete dense subset (and therefore cannot have a dense metrizable subspace), is never Lindelöf, and never has a σ-disjoint base, a σ-point-finite base, a quasi-development, a G δ-diagonal, or a base of countable order. We show that Bush(S, T) cannot be a β-space in the sense of Hodel and cannot be a p-space in the sense of Arhangelskii or a σ-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 ω-Čech-completeness, and we use those results to find disjoint dense subsets S and T of R, each with cardinality 2 ω, such that Bush(S, T) is not homeomorphic to Bush(T, S). We close with a family of questions for further study.

Original languageEnglish
Pages (from-to)1514-1528
Number of pages15
JournalTopology and its Applications
Issue number6
StatePublished - Apr 1 2012


  • A Baire space
  • Almost base-compact
  • Banach-Mazur game
  • Base of countable order
  • Bernstein set
  • Big Bush
  • Bush(S, T)
  • Countable base-compactness
  • Countable regular co-compactness
  • Countable subcompactness
  • Dense metrizable subspace
  • G -diagonal
  • Hereditarily paracompact
  • LOTS
  • Linearly ordered topological space
  • Monotonically ultra-paracompact
  • Non-Archimedean space
  • P-Space
  • Point-countable base
  • Pseudo-complete
  • Quasi-development
  • Strong Choquet completeness
  • Strong Choquet game
  • Strong completeness properties
  • Weakly α-favorable
  • α-Space
  • β-Space
  • σ-Disjoint base
  • σ-Point-finite base
  • σ-Relatively discrete dense subset
  • σ-space
  • ω-Čech complete


Dive into the research topics of 'The Big Bush machine'. Together they form a unique fingerprint.

Cite this