3,052 research outputs found
Embeddings into outer models
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
- β¦