Embeddings into outer models

From MaRDI portal
Publication:6318784




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.











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)