克鲁斯卡尔树定理

TREE函数Kruskal树定理(英语:Kruskal's tree theorem)是逆数学的突出示例。由安德鲁·瓦兹尼英语Andrew Vázsonyi推测并由Joseph Kruskal (1960证明。

参考

Citations
  1. ^ TREE sequence. Googology Wiki | Fandom. [9 July 2020]. (原始内容存档于2020-01-09). 
  2. ^ Simpson 1985, Theorem 1.8
  3. ^ Friedman 2002, p. 60
  4. ^ Simpson 1985, Definition 4.1
  5. ^ Simpson 1985, Theorem 5.14
  6. ^ Marcone 2001, p. 8–9
  7. ^ Smith 1985, p. 120
  8. ^ Friedman, Harvey. 273:Sigma01/optimal/size. Ohio State University Department of Maths. 28 March 2006 [8 August 2017]. (原始内容存档于2022-12-07). 
  9. ^ Friedman, Harvey M. Enormous Integers In Real Life (PDF). Ohio State University. 1 June 2000 [8 August 2017]. (原始内容存档 (PDF)于2016-10-18). 
  10. ^ Friedman, Harvey M. Long Finite Sequences (PDF). Ohio State University Department of Mathematics: 5, 48 (Thm.6.8). 8 October 1998 [8 August 2017]. (原始内容存档 (PDF)于2017-08-09). 
Bibliography