Advertisement

The Mathematical Intelligencer

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

The varieties of arboreal experience

  • C. Smoryński
Article

Keywords

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.

Preview

Unable to display preview. Download preview PDF.

Unable to display preview. Download preview PDF.

References

  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.MATHCrossRefMathSciNetGoogle Scholar
  3. C. St. J. A. Nash-Williams, On well-quasi-ordering finite trees, Proc. Cambridge Phil. Soc. 59 (1963), pp. 833–835.MATHCrossRefMathSciNetGoogle 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