Find link

language:

Find link is a tool written by Edward Betts.

searching for Crispin Nash-Williams 1 found (24 total)

Kruskal's tree theorem (1,739 words) [view diff] exact match in snippet view article find links to article

and proved by Joseph Kruskal (1960); a short proof was given by Crispin Nash-Williams (1963). It has since become a prominent example in reverse mathematics