摘要:有限分岔亨氏价值域的模型理论研究:Ax-Kochen-Ershov原则版本。
作者:Sylvy Anscombe, Philip Dittmann, and Franziska Jahnke
论文ID:2305.12145
分类:Logic
分类简称:math.LO
提交时间:2023-05-23
PDF 下载: 英文版 中文版pdf翻译中