Mutually embeddable models of ZFC
Monroe Eskew, Sy-David Friedman, Yair Hayut, Farmer Schlutzenberg
TL;DR
This paper explores systems of transitive models of ZFC that are mutually embeddable, examining how definability properties affect their structure and relationships.
Contribution
It introduces a framework for understanding mutually embeddable models of ZFC and analyzes the impact of definability on these systems.
Findings
Characterization of mutually embeddable ZFC models
Influence of definability properties on model systems
Insights into the structure of transitive models
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.
Peer Reviews
No public reviews on file for this paper yet. If you reviewed it on a platform where reviews are public (OpenReview, ICLR, NeurIPS, ICML), you can paste yours below so the community can read it here.
Videos
No videos yet. Explain this paper in a talk, walkthrough, or lecture? Add one.
Taxonomy
TopicsAdvanced Topology and Set Theory · Rings, Modules, and Algebras · Computability, Logic, AI Algorithms