摘要：在一个NIP理论$T$中，我们举出了一个不在$varnothing$上fork的公式，并且在任何全局$varnothing$-不变的Keisler度量下都具有度量为0的例子，并且我们表明，如果$T$也是一阶可合理的，则不可能发生这种情况。
作者：Anand Pillay, Atticus Stonestrom
论文ID：2307.11037
分类：Logic
分类简称：math.LO
提交时间：2023-07-21
PDF 下载： 英文版 中文版pdf翻译中