摘要：研究扩展理论$V = L[A]$的传递模型的高度谱，根据不同的定义。特别是，我们调查使这些谱尽可能简单的一致性强度。
作者：Eilon Bilinsky and Yair Hayut
论文ID：2305.04244
分类：Logic
分类简称：math.LO
提交时间：2023-05-09
PDF 下载： 英文版 中文版pdf翻译中