English

Embeddings into outer models

Logic 2023-03-27 v2

Abstract

We explore the possibilities for elementary embeddings j:MNj : M \to N, where MM and NN are models of ZFC with the same ordinals, MNM \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.

Keywords

Cite

@article{arxiv.1905.06062,
  title  = {Embeddings into outer models},
  author = {Monroe Eskew and Sy-David Friedman},
  journal= {arXiv preprint arXiv:1905.06062},
  year   = {2023}
}
R2 v1 2026-06-23T09:07:08.722Z