Published online by Cambridge University Press: 09 April 2009
It is well known that the so-called reduced Borel algebra, that is, the Boolean algebra of all Borel subsets of the unit interval modulo the meager Borel sets of this interval, can be abstractly characterized as a complete, totally non-atomic Boolean algebra containing a countable join dense subset. (For an indication of the history of this result, see, for example, ([2], p. 483, footnote 12.) From this characterization, it easily follows that the reduced Borel algebra B is “homogeneous” in the sense that every non-trivial in B is isomorphic to B.