What’s So Special About Kruskal’s Theorem and the Ordinal Gamma 0? A Survey of Some Results in Proof Theory

Gallier, J. (1991). What’s So Special About Kruskal’s Theorem and the Ordinal Gamma 0? A Survey of Some Results in Proof Theory. Annals of Pure and Applied Logic, 0072(91).

Type

Journal article

Intellectual base

Review or monograph

Year

1991

DOI

10.1016/0168-0072(91)90022-e

Link

https://doi.org/10.1016/0168-0072(91)90022-E

Cited by

1 citation across 1 artifact.

Domain-specific

• Slow-Growing Hierarchy
  • Gallier describes this as an outer-iteration hierarchy obtained from the successor base function.

Verification

This reference passed the adversarial substantiation pipeline: it was checked to exist and to support the claim it is attached to. See how references were verified.

Links previously used in the corpus

Before the registry existed this work was also linked 1 other way.

• https://www.cis.upenn.edu/~jean/kruskal.pdf ×1

Registry ID ref:9186820f0c64 · see in the full table