Embeddings into outer models
Logic
2023-03-27 v2
Abstract
We explore the possibilities for elementary embeddings , where and are models of ZFC with the same ordinals, , and has access to large pieces of . 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 .
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}
}