The varieties of arboreal experience
- C. Smoryński
- … show all 1 hide
Purchase on Springer.com
$39.95 / €34.95 / £29.95*
Rent the article at a discountRent now
* Final gross prices may vary according to local VAT.
- 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. CrossRef
- 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. CrossRef
- C. St. J. A. Nash-Williams, On well-quasi-ordering finite trees, Proc. Cambridge Phil. Soc. 59 (1963), pp. 833–835. CrossRef
- D. Schmidt, Well-partial-orderings and their maximal order types, Habilitationsschrift, Heidelberg, 1978.
- Finally, a good reference on Γ0, ordinals, and proof theory is K. Schütte,Proof Theory (Springer-Verlag, 1977).
- The varieties of arboreal experience
The Mathematical Intelligencer
Volume 4, Issue 4 , pp 182-189
- Cover Date
- Print ISSN
- Additional Links
- Industry Sectors
- C. Smoryński (1)
- Author Affiliations
- 1. Dept. of Mathematics, Ohio State University, 43210, Columbus, Ohio, USA