Norms on possibilities. II: More ccc ideals on .
We deal with some problems posed by Monk [Mo 1], [Mo 3] and related to cardinal invariants of ultraproducts of Boolean algebras. We also introduce and investigate several new cardinal invariants.
We show the consistency of "there is a nice σ-ideal ℐ on the reals with add(ℐ) = ℵ₁ which cannot be represented as the union of a strictly increasing sequence of length ω₁ of σ-subideals". This answers [Borodulin-Nadzieja and Głąb, Math. Logic Quart. 57 (2011), 582-590, Problem 6.2(ii)].
We show that, consistently, for some regular cardinals θ <λ, there exists a Boolean algebra 𝔹 such that |𝔹| = λ⁺ and for every subalgebra 𝔹'⊆ 𝔹 of size λ⁺ we have Depth(𝔹') = θ.
The present paper addresses the problem of attainment of the supremums in various equivalent definitions of the hereditary density hd and hereditary Lindelöf degree hL of Boolean algebras. We partially answer two problems of J. Donald Monk [13, Problems 50, 54], showing consistency of different attainment behaviour and proving that (for the variants considered) this is the best result we can expect.
We give several examples of Souslin forcing notions. For instance, we show that there exists a proper analytical forcing notion without ccc and with no perfect set of incompatible elements, we give an example of a Souslin ccc partial order without the Knaster property, and an example of a totally nonhomogeneous Souslin forcing notion.
Page 1