Hacker News new | ask | show | jobs
by mjd 3 hours ago
One of my life goals is to fully understand Jean Gallier's paper about Kruskal's theorem and the Feferman-Schütte ordinal.