ACVF的强极小化简
摘要：代数闭值域$mathbb K=(K,+,cdot,v,Gamma)$和一个$mathbb K-$定义的群$(G,+)$，它可以是乘法群，也可以包含一个有限指数子群，该子群是$mathbb K-$定义的与$(K,+)$的一个$mathbb K-$定义的子群同构。假设$mathcal G=(G,+,ldots)$是在$mathbb K-$定义的、非局部模态结构中定义的强最小结构，扩展了$(G,oplus)$，那么它解释了一个无限域。这是作者的博士论文，由Assaf Hasson教授和Alf Onshuus教授指导。
作者：Santiago Pinzon
论文ID：2308.16133
分类：Logic
分类简称：math.LO
提交时间：2023-08-31