A note on well-generated Boolean algebras in models satisfying Martin's axiom (Q1772264)

The main result is that under MA + \(\neg\) CH superatomic Boolean algebras with particular cardinal sequences are hereditarily decreasingly canonically well generated. The latter is a technical property having to do with generating sets, and basically says that, given a subalgebra \(C\), and given a nice kind of generating set (called a complete set of representatives, or CSR) \(H\) of \(C\), then \(C\) has another CSR \(K\) which is, in a precise sense, a refinement of \(H\), and which generates a well-founded sublattice. The cardinal sequences of the theorem are of two types: a countable sequence of \(\omega\)'s followed by a sequence \(\langle \kappa, \omega_1, n\rangle\) where \(\kappa < 2^{\omega}\) and \(n\) is finite; or the four-cardinal sequence \(\langle\omega, 2^{\omega}, \omega_1, n\rangle\) where \(n\) is finite.