Mutually embeddable models of ZFC

DOI10.1016/J.APAL.2023.103325MaRDI QIDQ6073903zbMATH OpenOpenAlexFDO

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

Publication date 12 October 2023

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

Copyright license Creative Commons Attribution 4.0 International

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

zbMATH Keywords

elementary embeddingsultrapowerssharps

Mathematics Subject Classification ID

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

Abstract: We investigate systems of transitive models of ZFC which are elementarily embeddable into each other and the influence of definability properties on such systems.

Cites work

• scientific article; zbMATH DE number 3532947 (Why is no real title available?)
• scientific article; zbMATH DE number 1908324 (Why is no real title available?)
• Consistency results about ordinal definability
• Constructibility and class forcing
• Embeddings into outer models
• Iterated forcing and elementary embeddings
• Large cardinals and definable well-orders on the universe
• More rigid ideals
• Strong axioms of infinity and elementary embeddings
• The number of normal measures

Cited in

(1)

• On countably closed mutually embeddable models

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

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