摘要：在实数乘幂理论的可决定性问题和用于o-极小指数场的转移猜想的启发下，我们证明，在Schanuel猜想的假设下，实数乘幂的主模型可以嵌入到任何o-极小指数场中，其中嵌入不一定是元嵌入。这是我们通过应用KH{o}nig引理得到的无条件模型论嵌入结果的一个推论。
作者：Lothar Sebastian Krapp
论文ID：2302.01609
分类：Logic
分类简称：math.LO
提交时间：2023-08-01
PDF 下载： 英文版 中文版pdf翻译中