A representation theorem for Post-like algebras
It is well known that if a nontrivial ideal ℑ on κ is normal, its quotient Boolean algebra P(κ)/ℑ is -complete. It is also known that such completeness of the quotient does not characterize normality, since P(κ)/ℑ turns out to be -complete whenever ℑ is prenormal, i.e. whenever there exists a minimal ℑ-measurable function in . Recently, it has been established by Zrotowski (see [Z1], [CWZ] and [Z2]) that for non-Mahlo κ, not only is the above condition sufficient but also necessary for P(κ)/ℑ...
Page 1 Next