MathDB1 problem
Prikry subforcing conjecture. It should be possible to overcome this problem: every subforcing of Prikry forcing with -point ultrafilters is equivalent to Prikry forcing.
Prikry subforcing conjecture. It should be possible to overcome this problem: every subforcing of Prikry forcing with -point ultrafilters is equivalent to Prikry forcing.