Article contents
Bases of countable Boolean algebras
Published online by Cambridge University Press: 12 March 2014
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
- Information
- Copyright
- Copyright © Association for Symbolic Logic 1973
References
REFERENCES
- 3
- Cited by