Sets in Prikry and Magidor generic extensions

DOI10.1016/J.APAL.2020.102926MaRDI QIDQ2659098zbMATH OpenOpenAlexFDO

Authors Tom Benhamou, Moti Gitik

Publication date 25 March 2021

Published in Annals of Pure and Applied Logic (Search for Journal in Brave)

Full work available at URL https://arxiv.org/abs/2009.12774

zbMATH Keywords

intermediate modelsMagidor forcingPrikry forcing

Mathematics Subject Classification ID

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

Abstract: We continue Gitik, Kanovei and Koepke's work and study sets in generic extensions by the Magidor forcing and by the Prikry forcing with non-normal ultrafilters.

Recommendations

• Prikry forcing at κ⁺ and beyond
• Prikry-forcing and some generalizations
• Generalized Prikry forcing and iteration of generic ultrapowers
• Intermediate models of Magidor-Radin forcing. II
• Prikry on extenders, revisited

Cites work

• Changing cofinality of cardinals
• scientific article; zbMATH DE number 1113072 (Why is no real title available?)
• scientific article; zbMATH DE number 3336797 (Why is no real title available?)
• On -compact cardinals
• ON SEQUENCES GENERIC IN THE SENSE OF MAGIDOR
• Prikry-type forcings
• Sets constructible from sequences of ultrafilters

Cited in

(7)

• Intermediate models of Magidor-Radin forcing. II
• Prikry forcing and tree Prikry forcing of various filters
• Intermediate models of Magidor-Radin forcing. I
• scientific article; zbMATH DE number 3885884 (Why is no real title available?)
• The variety of projections of a tree Prikry forcing
• The Galvin property under the ultrapower axiom
• Applications of the magidor iteration to ultrafilter theory

This page was built for publication: Sets in Prikry and Magidor generic extensions

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