Changing measurable into small accessible cardinals
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 .
arXiv:1902.06904
We give a detailed proof of the properties of the usual Prikry type forcing notion for turning a measurable cardinal into .