3,052 research outputs found

    Embeddings into outer models

    Full text link
    We explore the possibilities for elementary embeddings j:Mβ†’Nj : M \to N, where MM and NN are models of ZFC with the same ordinals, MβŠ†NM \subseteq N, and NN has access to large pieces of jj. 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 R\mathbb R
    • …
    corecore