中文
Sign in
AI tools
聊天
热门问题
时间线
Loading AI tools
全部
文章
字典
引用
地图
Crispin St. J. A. Nash-Williams
来自维基百科,自由的百科全书
Found in articles
良擬序
的不同子分支上;每個節點處的標記,小於等於其像的標記。 無窮樹之間的嵌入關係是wqo,由克里斯平·納許-威廉斯(英语:
Crispin
St
.
J
.
A
.
Nash
-
Williams
)所證。 可數全序類之間的嵌入關係是良擬序,同樣散佈(英语:scattered order)全序類之間亦然。(萊弗定理(英语:Laver's
克魯斯卡爾樹定理
該定理由安德魯·瓦茲索尼(Andrew Vázsonyi)猜想並由約瑟夫·克魯斯卡爾(Joseph Kruskal,1960)證明;
Crispin
Nash
-
Williams
(1963)給了一個簡短的證明。它從此成為逆向數學(英語:reverse math)中的一個突出例子,作為在 ATR0