2000/12/18 by Saharon Shelah, Shelah, Saharon
Mathematics · #FOS: Mathematics #Logic (math.LO) #math.LO
paper · pdf · doi:10.48550/arxiv.math/0012171
published as Arch. Math. Logic 42 No. 6 (2003) 569--581
arxiv created 2000/12/18 · arxiv updated 2009/11/30
We prove the consistency of irr(prod limitsi<kappaBi/D)< prod limitsi<kappairr(Bi)/D, where D is an ultrafilter on kappa and each Bi is a Boolean Algebra. This solves the last problem of this form from the Monk's list of problems, that is number 35. The solution applies to many other properties, e.g., Souslinity. Next, we get similar results with kappa = aleph1 (easily we cannot have it for kappa=aleph0) and Boolean Algebras Bi (i< kappa) of cardinality < bethomega1.