加载中…
2018-12-07
Dickson's Lemma, Higman's Theorem and Beyond: a survey of some basic results in order theory
Erhard AichingerFlorian Aichinger
文献摘要
We provide proofs for the fact that certain orders have no descending chains and no antichains.
讨论
0讲解博客
生成讲解博客的中文版本
AI智能校验
生成AI智能校验的中文版本