Hostname: page-component-848d4c4894-5nwft Total loading time: 0 Render date: 2024-06-02T16:49:22.722Z Has data issue: false hasContentIssue false

Bases of countable Boolean algebras

Published online by Cambridge University Press:  12 March 2014

R. S. Pierce*
Affiliation:
University of Hawaii, Honolulu, Hawaii 96822

Extract

The purpose of this note is to give a short proof of a conjecture of Feiner that every countable Boolean algebra has an ordered basis that is a lexicographic sum of well-ordered sets over the ordered set η of all rational numbers. Actually, we prove a slightly more precise fact, which is formulated below as Theorem 3. An earlier proof of Feiner's conjecture was obtained by David Cossack (unpublished), using a different method.

Our proof will use the following property of Cantor's dyadic discontinuum D.

Type
Research Article
Copyright
Copyright © Association for Symbolic Logic 1973

Access options

Get access to the full version of this content by using one of the access options below. (Log in options will check for institutional or personal access. Content may require purchase if you do not have access.)

References

REFERENCES

[1]Mayer, R. D. and Pierce, R. S., Boolean algebras with ordered bases, Pacific Journal of Mathematics, vol. 10 (1960), pp. 925942.CrossRefGoogle Scholar
[2]Pierce, R. S., Existence and uniqueness theorems for extensions of zero-dimensional compact metric spaces, Transactions of the American Mathematical Society, vol. 148 (1970), pp. 121.CrossRefGoogle Scholar
[3]Reichbach, M., A note on 0-dimensional compact sets, Bulletin of the Research Council of Israel, Section F (Mathematics and Physics), vol. 7F (1958), pp. 117122.Google Scholar