摘要：关于Hales-Jewett定理无穷扩展的逆向数学研究
作者：Paul-Elliot Angl`es d'Auriac, Bastien Mignoty, Lu Liu, Ludovic Patey
论文ID：2207.12828
分类：Logic
分类简称：math.LO
提交时间：2023-05-11
PDF 下载： 英文版 中文版pdf翻译中