ON RESTRICTIONS OF ULTRAFILTERS FROM GENERIC EXTENSIONS TO GROUND MODELS

DOI10.1017/jsl.2022.26OpenAlexW4220871806MaRDI QIDQ5879181

Eyal Kaplan, M. B. Gitik

Publication date: 27 February 2023

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

Full work available at URL: https://doi.org/10.1017/jsl.2022.26

zbMATH Keywords

ultrapowersforcingiterationsultrafilterselementary embeddings

Mathematics Subject Classification ID

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

Related Items (1)

A Mathias criterion for the Magidor iteration of Prikry forcings

Cites Work

• Unnamed Item
• Unnamed Item
• Non-stationary support iterations of Prikry forcings and restrictions of ultrapower embeddings to the ground model
• Forcing Magidor iteration over a core model below \(0^P\)
• Identity crises and strong compactness
• KWithout the Measurable
• Prikry-Type Forcings
• The Covering Lemma
• The number of normal measures
• How large is the first strongly compact cardinal? or a study on identity crises
• Homogeneous changes in cofinalities with applications to HOD
• NORMAL MEASURES ON A TALL CARDINAL
• Iterates of the core model
• Boolean extensions and measurable cardinals
• Gap forcing

This page was built for publication: ON RESTRICTIONS OF ULTRAFILTERS FROM GENERIC EXTENSIONS TO GROUND MODELS