Skip to Content


Expand or Collapse all.


Friedman's version of Kruskal's Theorem appeared in Science. Harvey Friedman provided a mathematical (rather than meta-mathematical) statement independent of arithmetic of the theorem originally due to Joseph Kruskal and Gyula Katona. More information about: Kruskal-Katona Theorem

We Tweet

RT @NASAInterns: Our Summer 2020 application deadline is March 8, 2020 - plan ahead & apply early! Start your application at…