平坦强极小理论的递归谱
Recursive spectra of flat strongly minimal theories
摘要：
我们表明，对于一个模型完整的强极小理论的预几何是平坦的，递归谱（SRM（$T$））的形式$[0,α)$的$α\in ω+2$或$[0,n]\cup\{ω\}$的$n\in ω$，或$\{ω\}$，或包含在$\{0,1,2\}$。与以前的结果相结合，这正好留下4套，它尚未确定是否每个是一个完整的强极小理论与平坦的pregeometry模型的频谱。
英文摘要：
We show that for a model complete strongly minimal theory whose pregeometry is flat, the recursive spectrum (SRM($T$)) is either of the form $[0,α)$ for $α\in ω+2$ or $[0,n]\cup\{ω\}$ for $n\in ω$, or $\{ω\}$, or contained in $\{0,1,2\}$. Combined with previous results, this leaves precisely 4 sets for which it is not yet determined whether each is the spectrum of a model complete strongly minimal theory with a flat pregeometry.
机构、总结、中文摘要均由AI分析而来，可能存在错误，请以论文正文为准。
