We investigate systems of transitive models of ZFC which are elementarily embeddable into each other and the influence of definability properties on such systems.
Bibliographical noteFunding Information:
The third author's research was partially supported by the FWF Lise Meitner Grant ( 2650-N35 ).
The fourth author was supported by the Deutsche Forschungsgemeinschaft (DFG, German Research Foundation) under Germany's Excellence Strategy EXC 2044–390685587 , Mathematics Münster: Dynamics–Geometry–Structure.
The first two authors would like to acknowledge the support of the Austrian Science Fund (FWF) through Project P28420 .
© 2023 The Authors
- Elementary embeddings