MathSciNet bibliographic data MR1129778 03Fxx (03F15 03F35) Gallier, Jean H. What's so special about Kruskal's theorem and the ordinal \$\Gamma\sb 0\$$\Gamma\sb 0$? A survey of some results in proof theory. Ann. Pure Appl. Logic 53 (1991), no. 3, 199–260. Article

For users without a MathSciNet license , Relay Station allows linking from MR numbers in online mathematical literature directly to electronic journals and original articles. Subscribers receive the added value of full MathSciNet reviews.

 American Mathematical Society 201 Charles Street Providence, RI 02904-6248 USA