On well-generated Boolean algebras

Annals of Pure and Applied Logic 105 (1-3):1-50 (2000)
  Copy   BIBTEX

Abstract

A Boolean algebra B that has a well-founded sublattice L which generates B is called a well-generated Boolean algebra. If in addition, L is generated by a complete set of representatives for B , then B is said to be canonically well-generated .Every WG Boolean algebra is superatomic. We construct two basic examples of superatomic non well-generated Boolean algebras. Their cardinal sequences are 1,0,1,1 and 0,0,20,1.Assuming MA , we show that every algebra with one of the cardinal sequences , α<1, λ<20, or 0,20,1,1 is CWG.Assuming CH, or alternatively assuming MA , we determine which cardinal sequences admit only WG Boolean algebras.We find a necessary and sufficient condition for the canonical well-generatedness of algebras whose cardinal sequence has the form , α<1. We conclude that if such an algebra is CWG, then all of its quotients are CWG. We show that the above is not true for general Boolean algebras. We also conclude that if the cardinality of such an algebra is less than the cardinal defined below, then it is CWG. The cardinal is the least cardinality of an unbounded subset of {f f : ω → ω}.We investigate questions concerning embeddability, quotients and subalgebras of WG and CWG Boolean algebras, and construct various counter-examples

Links

PhilArchive



    Upload a copy of this work     Papers currently archived: 91,139

External links

Setup an account with your affiliations in order to access resources via your University's proxy server

Through your library

Similar books and articles

The number of openly generated Boolean algebras.Stefan Geschke & Saharon Shelah - 2008 - Journal of Symbolic Logic 73 (1):151-164.
Some remarks on openly generated Boolean algebras.Sakaé Fuchino - 1994 - Journal of Symbolic Logic 59 (1):302-310.
Some Boolean Algebras with Finitely Many Distinguished Ideals I.Regina Aragón - 1995 - Mathematical Logic Quarterly 41 (4):485-504.
Boolean deductive systems of BL-algebras.Esko Turunen - 2001 - Archive for Mathematical Logic 40 (6):467-473.
Hyper-Archimedean BL-algebras are MV-algebras.Esko Turunen - 2007 - Mathematical Logic Quarterly 53 (2):170-175.
Elementary embedding between countable Boolean algebras.Robert Bonnet & Matatyahu Rubin - 1991 - Journal of Symbolic Logic 56 (4):1212-1229.
More constructions for Boolean algebras.Saharon Shelah - 2002 - Archive for Mathematical Logic 41 (5):401-441.

Analytics

Added to PP
2014-01-16

Downloads
14 (#907,727)

6 months
3 (#760,965)

Historical graph of downloads
How can I increase my downloads?

Citations of this work

Applications of the topological representation of the pcf-structure.Luís Pereira - 2008 - Archive for Mathematical Logic 47 (5):517-527.

Add more citations

References found in this work

No references found.

Add more references