$[0,n]\cup \{\omega\}$ is a spectrum of a non-disintegrated flat strongly minimal model complete theory in a language with finite signature
Uri Andrews, Omer Mermelstein

TL;DR
This paper constructs a new spectrum of recursive models for a specific strongly minimal theory that is non-disintegrated, flat, and model complete within a finite signature language.
Contribution
It introduces a novel spectrum of recursive models for a non-disintegrated, flat, strongly minimal, model complete theory in a finite language.
Findings
Constructed a new spectrum of recursive models.
Demonstrated properties of the theory: non-disintegrated, flat, model complete.
Applicable to theories in finite signature languages.
Abstract
We build a new spectrum of recursive models (SRM(T)) of a strongly minimal theory. This theory is non-disintegrated, flat, model complete, and in a language with a finite signature.
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 · Algebraic structures and combinatorial models · Advanced Operator Algebra Research
