Journal of Symbolic Logic 73 (4):1416-1432 (2008)
We investigate strictly positive finitely additive measures on Boolean algebras and strictly positive Radon measures on compact zerodimensional spaces. The motivation is to find a combinatorial characterisation of Boolean algebras which carry a strictly positive finitely additive finite measure with some additional properties, such as separability or nonatomicity. A possible consistent characterisation for an algebra to carry a separable separable positive measure was suggested by Talagrand in 1980, which is that the Stone space K of the algebra satisfies that its space M(K) of measures is weakly separable, equivalently that C(K) embeds into l∞. We show that there is a ZFC example of a Boolean algebra (so of a compact space) which satisfies this condition and does not support a separable strictly positive measure. However, we use this property as a tool in a proof which shows that under MA+⇁ CH every atomless ccc Boolean algebra of size < c carries a nonatomic strictly positive measure. Examples are given to show that this result does not hold in ZFC. Finally, we obtain a characterisation of Boolean algebras that carry a strictly positive nonatomic measure in terms of a chain condition, and we draw the conclusion that under MA+⇁ CH every atomless ccc Boolean algebra satisfies this stronger chain condition
|Keywords||strictly positive measure chain conditions|
|Categories||categorize this paper)|
References found in this work BETA
No references found.
Citations of this work BETA
No citations found.
Similar books and articles
Averaging the Truth-Value in Łukasiewicz Logic.Daniele Mundici - 1995 - Studia Logica 55 (1):113 - 127.
The Theory of Boolean Algebras with an Additional Binary Operation.Bronisław Tembrowski - 1983 - Studia Logica 42 (4):389 - 405.
Partial Boolean Algebras in a Broader Sense.Janusz Czelakowski - 1979 - Studia Logica 38 (1):1 - 16.
Plain Semi-Post Algebras as a Poset-Based Generalization of Post Algebras and Their Representability.Nguyen Cat Ho & Helena Rasiowa - 1989 - Studia Logica 48 (4):509 - 530.
W-Algebras Which Are Boolean Products of Members of SR and CW-Algebras.Antoni Torrens - 1987 - Studia Logica 46 (3):265 - 274.
Q-Ultrafilters and Normal Ultrafilters in B-Algebras.Bronisław Tembrowski - 1986 - Studia Logica 45 (2):167 - 179.
Definable Sets in Boolean Ordered o-Minimal Structures. II.Roman Wencel - 2003 - Journal of Symbolic Logic 68 (1):35-51.
On Measures on Complete Boolean Algebras.Karel Prikry - 1971 - Journal of Symbolic Logic 36 (3):395-406.
On Boolean Algebras and Integrally Closed Commutative Regular Rings.Misao Nagayama - 1992 - Journal of Symbolic Logic 57 (4):1305-1318.
Extension of Relatively |Sigma-Additive Probabilities on Boolean Algebras of Logic.Mohamed A. Amer - 1985 - Journal of Symbolic Logic 50 (3):589 - 596.
Zorn's Lemma and Complete Boolean Algebras in Intuitionistic Type Theories.J. L. Bell - 1997 - Journal of Symbolic Logic 62 (4):1265-1279.
Free Algebras in Varieties of Glivenko MTL-Algebras Satisfying the Equation 2(X2) = (2x).Roberto Cignoli & Antoni Torrens Torrell - 2006 - Studia Logica 83 (1-3):157 - 181.
Concerning Axiomatizability of the Quasivariety Generated by a Finite Heyting or Topological Boolean Algebra.Wlesław Dziobiak - 1982 - Studia Logica 41 (4):415 - 428.
Added to index2010-09-12
Total downloads6 ( #557,642 of 2,168,640 )
Recent downloads (6 months)1 ( #346,816 of 2,168,640 )
How can I increase my downloads?