迪克森引理、希格曼定理及其拓展:序数理论中一些基本结果的综述

摘要:证明某些订单没有降链和无关链的事实

作者:Erhard Aichinger and Florian Aichinger

论文ID:1812.03024

分类:Logic

分类简称:math.LO

提交时间:2023-06-01

PDF 下载: 英文版 中文版pdf翻译中