The spectrum of maximal independent subsets of a Boolean algebra

Annals of Pure and Applied Logic 126 (1-3):335-348 (2004)
  Copy   BIBTEX

Abstract

Recall that a subset X of a Boolean algebra A is independent if for any two finite disjoint subsets F , G of X we have ∏ x∈F x ∏ y∈G −y≠0. The independence of a BA A , denoted by Ind, is the supremum of cardinalities of its independent subsets. We can also consider the maximal independent subsets. The smallest size of an infinite maximal independent subset is the cardinal invariant i , well known in the case A= P / fin . In this article we consider the collection of all cardinalities of infinite maximal independent subsets of a BA A ; we call this set the spectrum of infinite maximal independent subsets , denoted by Spind. Note that infinite maximal independent subsets exist in any BA which is not superatomic. The main result is that any set of infinite cardinals can occur as Spind for some infinite BA A . Beyond this we give results concerning the way that Spind changes under various algebraic operations. However, the basic components of most algebras that we deal with are free algebras

Links

PhilArchive



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

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 spectrum of partitions of a Boolean algebra.J. Donald Monk - 2001 - Archive for Mathematical Logic 40 (4):243-254.
Minimum‐sized Infinite Partitions of Boolean Algebras.J. Donald Monk - 1996 - Mathematical Logic Quarterly 42 (1):537-550.
On ultraproducts of Boolean algebras and irr.Saharon Shelah - 2003 - Archive for Mathematical Logic 42 (6):569-581.
Low₅ Boolean subalgebras and computable copies.Russell Miller - 2011 - Journal of Symbolic Logic 76 (3):1061 - 1074.
Hyper-Archimedean BL-algebras are MV-algebras.Esko Turunen - 2007 - Mathematical Logic Quarterly 53 (2):170-175.
A superatomic Boolean algebra with few automorphisms.Matatyahu Rubin & Sabine Koppelberg - 2001 - Archive for Mathematical Logic 40 (2):125-129.
Metric Boolean algebras and constructive measure theory.Thierry Coquand & Erik Palmgren - 2002 - Archive for Mathematical Logic 41 (7):687-704.

Analytics

Added to PP
2014-01-16

Downloads
40 (#396,139)

6 months
2 (#1,185,463)

Historical graph of downloads
How can I increase my downloads?

Citations of this work

No citations found.

Add more citations

References found in this work

Con(u>i).Saharon Shelah - 1992 - Archive for Mathematical Logic 31 (6):433-443.
Continuum Cardinals Generalized to Boolean Algebras.J. Donald Monk - 2001 - Journal of Symbolic Logic 66 (4):1928-1958.

Add more references