5 ms·
One of my life goals is to fully understand Jean Gallier's paper about Kruskal's theorem and the Feferman-Schütte ordinal.
by mjd 2mo ago
One of my life goals is to fully understand Jean Gallier's paper about Kruskal's theorem and the Feferman-Schütte ordinal.