Hostname: page-component-76fb5796d-22dnz Total loading time: 0 Render date: 2024-04-26T03:32:11.524Z Has data issue: false hasContentIssue false

On measures on complete Boolean algebras

Published online by Cambridge University Press:  12 March 2014

Karel Prikry*
Affiliation:
University of Wisconsin, Madison, Wisconsin 53706

Extract

In this paper we prove some theorems concerning measures on complete Boolean algebras. Among other things, in §I of this paper, we construct a counterexample to the following conjecture of W. Luxemburg: Every measure on a nonatomic hyperstonian Boolean algebra is normal. (See [3, p. 57].) This result is expressed by Theorem 1, §I. In order to construct this example we have to suppose that a real-valued measurable cardinal exists. This hypothesis is independent of the usual axioms of set theory. Luxemburg proved that our assumption is necessary. Our second result is stated in Theorem 2 near the end of the paper.

Type
Research Article
Copyright
Copyright © Association for Symbolic Logic 1972

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

[1]Halmos, P. R., Measure theory, D. Van Nostrand Co., New York, 1950.CrossRefGoogle Scholar
[2]Keisler, H. J. and Tarski, A., From accessible to inaccessible cardinals, Fundamenta Mathematicae, vol. 53 (1964), pp. 225308.CrossRefGoogle Scholar
[3]Luxemburg, W. A. J., On the existence of σ-complete prime ideals in Boolean algebras, Colloquium Mathematicum, vol. 19 (1968), pp. 5158.CrossRefGoogle Scholar
[4]Prikry, K., On σ-complete prime ideals, Colloquium Mathematicum, vol. XXII (1971), pp. 209214.CrossRefGoogle Scholar
[5]Prikry, K., Changing measurable into accessible cardinals, Dissertationes Mathematicae, vol. 68 (1970), pp. 552.Google Scholar
[6]Sikorski, R., Boolean algebras, Springer-Verlag, Berlin, 1964.Google Scholar