Maharam algebras

Maharam algebras are complete Boolean algebras carrying a positive continuous submeasure. They were introduced and studied by Maharam in [24] in relation to Von Neumann’s problem on the characterization of measure algebras. The question whether every Maharam algebra is a measure algebra has been the main open problem in this area for around 60 years. It was finally resolved by Talagrand [31] who provided the first example of a Maharam algebra which is not a measure algebra. In this paper we survey some recent work on Maharam algebras in relation to the two conditions proposed by Von Neumann: weak distributivity and the countable chain condition. It turns out that by strengthening either one of these conditions one obtains a ZFC characterization of Maharam algebras. We also present some results on Maharam algebras as forcing notions showing that they share some of the well known properties of measure algebras.

[1]  Uri Abraham,et al.  Partition properties of ω1 compatible with CH , 1997 .

[2]  Saharon Shelah,et al.  Souslin Forcing , 1988, J. Symb. Log..

[3]  Boban Velickovic,et al.  CCC forcing and splitting reals , 2005 .

[4]  Natasha Dobrinen.  Games and general distributive laws in Boolean algebras , 2002 .

[6]  Kenneth Kunen,et al.  Set Theory: An Introduction to Independence Proofs , 2010 .

[7]  Haim Judah,et al.  Set Theory: On the Structure of the Real Line , 1995 .

[8]  S. Todorcevic.  A problem of von Neumann and Maharam about algebras supporting continuous submeasures , 2004 .

[9]  Between Maharam's and von Neumann's problems , 2004, math/0401134.

[10]  Slawomir Solecki,et al.  Analytic Ideals and Their Applications , 1999, Ann. Pure Appl. Log..

[11]  M. Talagrand.  Maharam’s problem , 2006, math/0601689.

[12]  S. Griffis.  EDITOR , 1997, Journal of Navigation.

[13]  I. Farah.  Examples of ε-exhaustive pathological submeasures , 2004 .

[14]  B. Velickovic,et al.  Maharam algebras and Cohen reals , 2007 .

[15]  T. Jech,et al.  Complete CCC Boolean Algebras, the Order Sequential Topology, and a Problem of Von Neumann , 2003, math/0312473.

[16]  J. Christensen.  Some results with relation to the control measure problem , 1978 .

[17]  J. K. Hunter,et al.  Measure Theory , 2007 .

[18]  The sequential topology on complete Boolean algebras , 1996, math/9612207.

[19]  Saharon Shelah,et al.  More on real-valued measurable cardinals and forcing with ideals , 1995 .

[20]  William J. Mitchell,et al.  Indiscernible Sequences for Extenders, and the Singular Cardinal Hypothesis , 1996, Ann. Pure Appl. Log..

[21]  Thomas Jech,et al.  More game-theoretic properties of boolean algebras , 1984, Ann. Pure Appl. Log..

[22]  D. Maharam.  An Algebraic Characterization of Measure Algebras , 1947 .

[23]  B. Velickovic,et al.  Von Neumann's Problem and Large Cardinals , 2006 .

[24]  Boban Velickovic.  The basis problem for CCC posets , 1999, Set Theory: The Hajnal Conference.

[25]  Ronald Jensen.  Definable Sets of Minimal Degree , 1970 .

[26]  James W. Roberts,et al.  Uniformly exhaustive submeasures and nearly additive set functions , 1983 .

[27]  F. Stephan,et al.  Set theory , 2018, Mathematical Statistics with Applications in R.

[28]  Boban Velickovic,et al.  CCC posets of perfect trees , 1991 .

[29]  Saharon Shelah.  How special are Cohen and random forcings, i.e. boolean algebras of the family of subsets of reals modulo meagre or null , 1993 .