The Mathematical Intelligencer

, Volume 4, Issue 4, pp 182–189 | Cite as

The varieties of arboreal experience

  • C. Smoryński


Incompleteness Theorem Finite Tree Transfinite Induction Countable Ordinal Trivial Tree 
These keywords were added by machine and not by the authors. This process is experimental and the keywords may be updated as the learning algorithm improves.


Unable to display preview. Download preview PDF.

Unable to display preview. Download preview PDF.


  1. First, let me simply update the references to my column on the Paris-Harrington Theorem: The papers of Erdös and Mills and of Ketonen and Solovay have since appeared, the former in the Journal of Combinatorial Theory, series A, vol. 30 (1981), pp. 53–70, and the latter in the Annals of Mathematics, vol. 113 (1981), pp. 267- 314. In addition, I note the bookRamsey Theory (J. Wiley, 1980) by R. Graham, B. Rothschild and J. Spencer has a nice exposition of a variant of the Ketonen-Solovay work.CrossRefGoogle Scholar
  2. Friedman’s work reported above is not, at the time of writing, in manuscript form and I can only cite some background material. With respect to Kruskal’s Theorem and ordinals, I suggest: J. B. Kruskal, Well-quasi-ordering, the tree theorem, and Vázsonyi’s conjecture, Trans. AMS 95 (1960), pp. 210–225.zbMATHCrossRefMathSciNetGoogle Scholar
  3. C. St. J. A. Nash-Williams, On well-quasi-ordering finite trees, Proc. Cambridge Phil. Soc. 59 (1963), pp. 833–835.zbMATHCrossRefMathSciNetGoogle Scholar
  4. D. Schmidt, Well-partial-orderings and their maximal order types, Habilitationsschrift, Heidelberg, 1978.Google Scholar
  5. Finally, a good reference on Γ0, ordinals, and proof theory is K. Schütte,Proof Theory (Springer-Verlag, 1977).Google Scholar

Copyright information

© Springer Science+Business Media, Inc. 1982

Authors and Affiliations

  • C. Smoryński
    • 1
  1. 1.Dept. of MathematicsOhio State UniversityColumbusUSA

Personalised recommendations