Group theory Number theory Theory of computation Algorithmic learning theory Hattendorf's theorem Sipser–Lautemann theorem Computational learning theory Computational complexity theory Zermelo's theorem Hodge index theorem

斯坦福大学

哥伦比亚大学

芝加哥大学

普林斯顿大学

耶鲁大学

加州大学伯克利分校

康奈尔大学

牛津大学