Skip to content

On Monk's questions

Saharon Shelah

math.LOarXiv:math/9601218

Abstract

Monk asks (problems 13, 15 in his list; pi is the algebraic density):''For a Boolean algebra B, aleph0 <= theta <= pi (B), does B have a subalgebra B' with pi (B')= theta ?'' If theta is regular the answer is easily positive, we show that in general it may be negative, but for quite many singular cardinals - it is positive; the theorems are quite complementary. Next we deal with pi-chi and we show that the pi-chi of an ultraproduct of Boolean algebras is not necessarily the ultraproduct of the pi-chi 's. We also prove that for infinite Boolean algebras Ai (i< kappa) and a non-principal ultrafilter D on kappa : if ni< aleph0 for i< kappa and mu = prodi< kappa ni/D is regular, then pi-chi(A) >= mu. Here A= prodi< kappaAi/D. By a theorem of Peterson the regularity of mu is needed.

Create a lesson