摘要：康威场的超实数有一个自然的全序和一个额外的“简洁关系”，也是一个偏序。将超实数作为这两个排序的双重排序结构，自身的同构拷贝被称为超实结构。事实证明，许多自然的超实数子类实际上属于这种类型。在本文中，我们研究了产生超实结构的各种构造，并对重要的例子进行了更详细的分析。
作者：Vincent Bagayoko and Joris van der Hoeven
论文ID：2305.02001
分类：Logic
分类简称：math.LO
提交时间：2023-05-04
PDF 下载： 英文版 中文版pdf翻译中