Mutually embeddable models of ZFC

DOI10.1016/J.APAL.2023.103325arXiv2108.12355OpenAlexW3197904479MaRDI QIDQ6073903

Yair Hayut, Sy-David Friedman, Farmer Schlutzenberg, Monroe Eskew

Publication date: 12 October 2023

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

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

zbMATH Keywords

ultrapowerselementary embeddingssharps

Mathematics Subject Classification ID

Consistency and independence results (03E35) Inner models, including constructibility, ordinal definability, and core models (03E45) Large cardinals (03E55) Other aspects of forcing and Boolean-valued models (03E40)

Cites Work

• Unnamed Item
• Unnamed Item
• More rigid ideals
• Constructibility and Class Forcing
• Iterated Forcing and Elementary Embeddings
• The number of normal measures
• Large cardinals and definable well-orders on the universe
• Strong axioms of infinity and elementary embeddings
• EMBEDDINGS INTO OUTER MODELS
• Consistency results about ordinal definability

This page was built for publication: Mutually embeddable models of ZFC