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

Autor:	Andrews, Uri, Mermelstein, Omer
Rok vydání:	2019
Předmět:	Mathematics - Logic 03C57 03D45 03C30
Druh dokumentu:	Working Paper
Popis:	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. Comment: Final author version
Databáze:	arXiv
Externí odkaz:	http://arxiv.org/abs/1908.09387 Zobrazit plný text záznamu View this record from Arxiv