Changing measurable into small accessible cardinals

2019/02/19 by Golshani, Mohammad
#FOS: Mathematics #Logic (math.LO)

paper · doi:10.48550/arxiv.1902.06904

Abstract

We give a detailed proof of the properties of the usual Prikry type forcing notion for turning a measurable cardinal into ℵ_ω.

Related

• Prikry-type forcing and the set of possible cofinalities
• Sigma-Prikry forcing III: Down to Aleph_omega
• Generalizing random real forcing for inaccessible cardinals
• Small measurable cardinals
• Force to change large cardinal strength