摘要：线性排序的思考句复杂性的研究：一种基于Friedman-Stanley嵌入的方法，以及一种更直接的方法
作者：David Gonzalez and Dino Rossegger
论文ID：2305.07126
分类：Logic
分类简称：math.LO
提交时间：2023-05-15
PDF 下载： 英文版 中文版pdf翻译中