On Monk's questions
Saharon Shelah
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
Related papers
The universal measure of nonstochastic objects
Vladimir Vovk
Hyperarithmetic directions can all be exceptional for Marstrand's projection theorem
Noam Greenberg, Daniel Turetsky
Open Problems in Mathematical Logic
George Barmpalias, Su Gao, Jialiang He et al.
An easy proof that there may be no P-points
David Chodounský, Osvaldo Guzmán, Jonathan Verner
Comments on Choiceless Chain Conditions
Constance Bromham, Asaf Karagila
Localic Esakia Duality via Conic Frames
Nesta van der Schaaf