Top network posts

• 37 Who discovered the surreals?
• 32 What do we gain with higher order logics?
• 18 Natural examples of $(\infty,n)$-categories for large $n$
• 17 Category theory for a set/model theorist
• 16 Toposophy vs Set theoretical multiverse philosophy
• 14 Is there a stronger form of recursion?
• 13 Hole in the axioms of Hartshorne's "Foundations of Projective Geometry"?
• View more network posts →