Embeddings into outer models

DOI10.1017/JSL.2022.52zbMATH Open1523.03021arXiv1905.06062MaRDI QIDQ6318784FDOQ6318784

Authors: Monroe Eskew, Sy-David Friedman 

Publication date: 15 May 2019

Abstract: We explore the possibilities for elementary embeddings $j:MoN$, where $M$ and $N$ are models of ZFC with the same ordinals, $MsubseteqN$, and $N$ has access to large pieces of $j$. We construct commuting systems of such maps between countable transitive models that are isomorphic to various canonical linear and partial orders, including the real line $mathbbR$.

Mathematics Subject Classification ID

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

This page was built for publication: Embeddings into outer models

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