On the notion of generic cut for models of ZFC
Mohammad Golshani
TL;DR
This paper introduces the concept of generic cut between models of ZFC, providing foundational definitions and illustrative examples to explore their properties.
Contribution
It formalizes the notion of generic cut in models of ZFC and offers initial examples, advancing understanding of model relationships.
Findings
Defined the concept of generic cut between models of ZFC
Provided examples illustrating the concept
Layed groundwork for further exploration of model relationships
Abstract
We define the notion of generic cut between models of ZFC and give some examples.
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 · Computability, Logic, AI Algorithms · Complexity and Algorithms in Graphs