Mathematics
Dominic van der Zypen's user avatar
Dominic van der Zypen's user avatar
Dominic van der Zypen's user avatar
Dominic van der Zypen
  • Member for 9 years, 3 months
  • Last seen more than 2 years ago
Profile Activity
Stats
2,728
reputation
0
reached
0
answers
0
questions
Communities
View all
About

Graph theory, infinite combinatorics, topology, order theory.

Badges
View all badges
This user doesn’t have any gold badges yet.
9
silver badges
2
bronze badges
Posts

This user hasn’t posted yet.

Top network posts
View all network posts
57
In what respect are univalent foundations "better" than set theory?
47
Generalizations of the four-color theorem
33
Connectedness in the language of path-connectedness
33
Decision problems for which it is unknown whether they are decidable
30
Is $\mathbb{R}\cong\text{Cont}(X,Y)$ for some non-trivial spaces $X,Y$?

Your privacy

By clicking “Accept all cookies”, you agree Stack Exchange can store cookies on your device and disclose information in accordance with our Cookie Policy.