摘要:扩展半有界o-最小化扩展的有序实数群,通过增加几何级数来展示其在局部是o-最小化的。
作者:Masato Fujita
论文ID:2302.06026
分类:Logic
分类简称:math.LO
提交时间:2023-08-22
PDF 下载: 英文版 中文版pdf翻译中