A minimal Prikry-type forcing for singularizing a measurable cardinal

DOI10.2178/jsl.7801060zbMath1268.03069OpenAlexW1982430234MaRDI QIDQ4916545

Philipp Schlicht, Karen Räsch, Peter Koepke

Publication date: 23 April 2013

Published in: The Journal of Symbolic Logic (Search for Journal in Brave)

Full work available at URL: https://projecteuclid.org/euclid.jsl/1358951101

Mathematics Subject Classification ID

Large cardinals (03E55) Other aspects of forcing and Boolean-valued models (03E40)

Related Items

Intermediate models of Magidor-Radin forcing. II ⋮ Fresh function spectra ⋮ Prikry forcing and tree Prikry forcing of various filters ⋮ Non-homogeneity of quotients of Prikry forcings

Cites Work

• \(\Delta^ 1_ 2\)-sets of reals
• The covering lemma for L[U]
• On sequences generic in the sense of Prikry