Erratum to ``What's so special about Kruskal's theorem and the ordinal \(\Gamma_0\)? A survey of some results in proof theory

DOI10.1016/S0168-0072(97)00043-2zbMath0896.03045OpenAlexW1997514920MaRDI QIDQ1377628

Jean H. Gallier

Publication date: 1 October 1998

Published in: Annals of Pure and Applied Logic (Search for Journal in Brave)

Full work available at URL: https://doi.org/10.1016/s0168-0072(97)00043-2

zbMATH Keywords

Kruskal's tree theoremwell quasi-orderings on labeled trees

Mathematics Subject Classification ID

Grammars and rewriting systems (68Q42) Proof theory in general (including proof-theoretic semantics) (03F03) Recursive ordinals and ordinal notations (03F15) Ordinal and cardinal numbers (03E10)

Related Items (1)

Fixed points and Noetherian topologies

This page was built for publication: Erratum to ``What's so special about Kruskal's theorem and the ordinal \(\Gamma_0\)? A survey of some results in proof theory