摘要：存在论定义能在一个自然类的领域中定义一些一阶可定义集合。我们通过一些等价条件对这个类进行了表征。我们证明全局领域属于这个类，并且特别得到了一些新的存在（或丢番图方程的）谓词在全局领域中。
作者：Philip Dittmann and Dion Leijnse
论文ID：1911.03202
分类：Logic
分类简称：math.LO
提交时间：2023-06-22
PDF 下载： 英文版 中文版pdf翻译中