Historic forcing for Depth

DOI10.4064/CM89-1-7MaRDI QIDQ2717744zbMATH OpenOpenAlexFDO

Authors Andrzej Rosłanowski, S. Shelah

Publication date 17 June 2001

Published in Colloquium Mathematicum (Search for Journal in Brave)

Full work available at URL https://arxiv.org/abs/math/0006219

zbMATH Keywords

Boolean algebrascardinal invariantsdepthhistoric forcing

Mathematics Subject Classification ID

Consistency and independence results (03E35) Structure theory of Boolean algebras (06E05)

Abstract: We show that, consistently, for some regular cardinals theta<lambda, there exists a Boolean algebra B such that B=lambda^+ and for every subalgebra B' of B of size lambda^+ we have Depth(B')=theta.

Review text

The depth of a Boolean algebra \({\mathfrak B}\), \(\text{Depth}({\mathfrak B}\)), is the supremum of all cardinalities of well-ordered subsets \({\mathfrak B}\). In this paper the authors show consistently that for regular cardinals \(\theta, \lambda\) with \(\theta <\lambda\) there exists a Boolean algebra \({\mathfrak B}\) with \(|{\mathfrak B}|=\lambda^+\) such that for every subalgebra \({\mathfrak B}'\subset {\mathfrak B}\) with \(|{\mathfrak B}'|= \lambda^+\), we have \(\text{Depth} ({\mathfrak B}') =\theta\). This partially answers a question of Monk. The result is obtained by means of a special forcing, the so-called historic forcing, which has been developed by Shelah some years ago and has been used by him already to obtain consistency results in partition calculus.

Recommendations

• On Depth and \(\text{Depth}^{+}\) of Boolean algebras
• Depth of Boolean algebras
• Independence of Boolean algebras and forcing.
• \(\text{Depth}^+\) and \(\text{Length}^+\) of Boolean algebras
• scientific article; zbMATH DE number 1295198

Cited in

(2)

• Forcing for hL and hd
• Unsupported Boolean algebras and forcing

This page was built for publication: Historic forcing for Depth

Report a bug (only for logged in users!)Click here to report a bug for this page (MaRDI item Q2717744)