$[0,n]\cup \{ω\}$是一个非分裂平坦强极小模型完备理论在有限签名语言中的谱
$[0,n]\cup \{ω\}$ is a spectrum of a non-disintegrated flat strongly minimal model complete theory in a language with finite signature
摘要:
我们建立了强极小理论的递归模型谱(SRM(T))。这个理论是不可分解的,扁平的,模型完备的,并且是一种具有有限签名的语言。
英文摘要:
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.
机构、总结、中文摘要均由AI分析而来,可能存在错误,请以论文正文为准。