A minimal Prikry-type forcing for singularizing a measurable cardinal

DOI10.2178/JSL.7801060MaRDI QIDQ4916545zbMATH OpenOpenAlexFDO

Authors Peter Koepke, Karen Räsch, Philipp Schlicht

Publication date 23 April 2013

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

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

Mathematics Subject Classification ID

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

Recommendations

• Prikry-forcing and some generalizations
• Pseudo-Prikry sequences
• Prikry forcing at κ⁺ and beyond
• About Prikry generic extensions
• A characterization of generalized Příkrý sequences

Cites work

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

Cited in

(12)

• Grigorieff forcing on uncountable cardinals does not add a generic of minimal degree
• About Prikry generic extensions
• Non-stationary support iterations of Prikry forcings and restrictions of ultrapower embeddings to the ground model
• Intermediate models of Magidor-Radin forcing. II
• Perfect tree forcings for singular cardinals
• Prikry forcing and tree Prikry forcing of various filters
• The subcompleteness of diagonal Prikry
• Non-homogeneity of quotients of Prikry forcings
• Prikry-forcing and some generalizations
• Pseudo-Prikry sequences
• A framework for forcing constructions at successors of singular cardinals
• Fresh function spectra

This page was built for publication: A minimal Prikry-type forcing for singularizing a measurable cardinal

Report a bug (only for logged in users!)Click here to report a bug for this page (MaRDI item Q4916545)