A Mathias criterion for the Magidor iteration of Prikry forcings

DOI10.1007/s00153-023-00887-1OpenAlexW4385562670MaRDI QIDQ6137348

Omer Ben-Neria

Publication date: 18 January 2024

Published in: Archive for Mathematical Logic (Search for Journal in Brave)

Full work available at URL: https://doi.org/10.1007/s00153-023-00887-1

zbMATH Keywords

forcinglarge cardinalsPrikry forcingMathias criterion

Mathematics Subject Classification ID

Consistency and independence results (03E35) Inner models, including constructibility, ordinal definability, and core models (03E45) Large cardinals (03E55)

Cites Work

• Unnamed Item
• Unnamed Item
• The structure of the Mitchell order. I
• On the size of closed unbounded sets
• Mathias like criterion for the extender based Prikry forcing
• Non-stationary support iterations of Prikry forcings and restrictions of ultrapower embeddings to the ground model
• Prikry forcing and tree Prikry forcing of various filters
• Forcing Magidor iteration over a core model below \(0^P\)
• A characterization of generalized Příkrý sequences
• Prikry-Type Forcings
• Diagonal Prikry extensions
• Iterated ultrapowers and prikry forcing
• How large is the first strongly compact cardinal? or a study on identity crises
• Homogeneous changes in cofinalities with applications to HOD
• ON SEQUENCES GENERIC IN THE SENSE OF MAGIDOR
• On sequences generic in the sense of Prikry
• ON RESTRICTIONS OF ULTRAFILTERS FROM GENERIC EXTENSIONS TO GROUND MODELS

This page was built for publication: A Mathias criterion for the Magidor iteration of Prikry forcings