We investigate classes of Boolean algebras related to the notion of forcing that adds Cohen reals. A Cohen algebra is a Boolean algebra that is dense in the completion of a free Boolean algebra. We introduce and study generalizations of Cohen algebras: semi-Cohen algebras, pseudo-Cohen algebras and potentially Cohen algebras. These classes of Boolean algebras are closed under completion.

This article investigates the weak distributivity of Boolean σ-algebras satisfying the countable chain condition. It addresses primarily the question when such algebras carry a σ-additive measure. We use as a starting point the problem of John von Neumann stated in 1937 in the Scottish Book. He asked if the countable chain condition and weak distributivity are sufficient for the existence of such a measure.Subsequent research has shown that the problem has two aspects: one set theoretic and one combinatorial. Recent results (...) provide a complete solution of both the set theoretic and the combinatorial problems. We shall survey the history of von Neumann's Problem and outline the solution of the set theoretic problem. The technique that we describe owes much to the early work of Dorothy Maharam to whom we dedicate this article.§1. Complete Boolean algebras and weak distributivity. ABoolean algebrais a setBwith Boolean operationsa˅b,a˄b and −a, partial orderinga≤bdefined bya˄b=aand the smallest and greatest element,0and1. By Stone's Representation Theorem, every Boolean algebra is isomorphic to an algebra of subsets of some nonempty setS, under operationsa∪b,a∩b,S−a, ordered by inclusion, with0= ∅ and1=S.Complete Boolean algebras and weak distributivity.A Boolean algebrais a setBwith Boolean operationsa˅b,a˄b and -a, partial orderinga≤bdefined bya˄b=aand the smallest and greatest element.0and1. By Stone's Representation Theorem, every Boolean algebra is isomorphic to an algebra of subsets of some nonempty setS, under operationsa∪b,a∩b,S-a, ordered by inclusion, with0= ϕ and1=S. (shrink)

Let ${\mathbb{B}}$ and ${\mathbb{C}}$ be Boolean algebras and ${e: \mathbb{B}\rightarrow \mathbb{C}}$ an embedding. We examine the hierarchy of ideals on ${\mathbb{C}}$ for which ${ \bar{e}: \mathbb{B}\rightarrow \mathbb{C} / \fancyscript{I}}$ is a regular (i.e. complete) embedding. As an application we deal with the interrelationship between ${\fancyscript{P}(\omega)/{{\rm fin}}}$ in the ground model and in its extension. If M is an extension of V containing a new subset of ω, then in M there is an almost disjoint refinement of the family ([ω]ω) V (...) . Moreover, there is, in M, exactly one ideal ${\fancyscript{I}}$ on ω such that ${(\fancyscript{P}(\omega)/{{\rm fin}})^V}$ is a dense subalgebra of ${(\fancyscript{P}(\omega)/\fancyscript{I})^M}$ if and only if M does not contain an independent (splitting) real. We show that for a generic extension V[G], the canonical embedding $$\fancyscript{P}^V(\omega){/}{\rm fin}\hookrightarrow \fancyscript{P}(\omega){/}(U(Os)(\mathbb{B}))^G$$ is a regular one, where ${U(Os)(\mathbb{B})}$ is the Urysohn closure of the zero-convergence structure on ${\mathbb{B}}$. (shrink)

In the previous paper of this volume, Kojman and Shelah solved our long standing problem of collapsing cardinal κ0 to ω1 by the forcing for singular κ with countable cofinality. The aim of the present paper is to give an explicit construction of the Boolean matrix for this collapse.