Mutually embeddable models of ZFC
arXiv:2108.12355
Abstract
We investigate systems of transitive models of ZFC which are elementarily embeddable into each other and the influence of definability properties on such systems.
arXiv:2108.12355
We investigate systems of transitive models of ZFC which are elementarily embeddable into each other and the influence of definability properties on such systems.