Skip to main content

Stack Exchange

Dominic van der Zypen

Switzerland

http://arxiv.org/find/math/1/au:+Zypen_D/0/1/0/all/0/1

Interested in general topology, graphs, and order theory.

top accounts reputation activity subscriptions
Top Questions
62 votes

In what respect are univalent foundations "better" than set theory?

lo.logic soft-question mathematical-philosophy foundations asked Nov 24, 2017 at 15:03
mathoverflow.net

41 votes

Continuity-minimal topologies

set-theory lo.logic gn.general-topology order-theory continuity asked Mar 4, 2025 at 9:02
mathoverflow.net

39 votes

Decision problems for which it is unknown whether they are decidable

soft-question big-list computability-theory computer-science open-problems asked Nov 6, 2019 at 15:57
mathoverflow.net

37 votes

Connectedness in the language of path-connectedness

set-theory lo.logic gn.general-topology continuity asked Mar 24, 2015 at 7:01
mathoverflow.net

33 votes

Is $\mathbb{R}\cong\text{Cont}(X,Y)$ for some non-trivial spaces $X,Y$?

real-analysis gn.general-topology asked Jan 8, 2018 at 8:09
mathoverflow.net

29 votes

Is the set of integers of the form $a/(b+c)+b/(a+c)+c/(a+b)$ computable?

nt.number-theory co.combinatorics computability-theory diophantine-equations computer-science asked Aug 14, 2017 at 19:16
mathoverflow.net

27 votes

Runner's High (Speed)

recreational-mathematics physics asked Dec 5, 2018 at 12:47
mathoverflow.net

26 votes

Question on a generalisation of a theorem by Euler

nt.number-theory asked Jun 16, 2018 at 10:38
mathoverflow.net

25 votes

What spaces $X$ do have $\text{End}(X) \cong \text{End}(\mathbb{R})$?

gn.general-topology semigroups-and-monoids asked Mar 29, 2020 at 15:07
mathoverflow.net

25 votes

Statements that imply $\mathbf{P}\neq \mathbf{NP}$

cc.complexity-theory complexity-classes p-vs-np asked Oct 10, 2014 at 8:50
cstheory.stackexchange.com

1 2 3 4 5 … 10

Top Answers
47
Generalizations of the four-color theorem
mathoverflow.net

27
Undecidable easy arithmetical statement
mathoverflow.net

26
What are some ways to stay engaged with the mathematical community from outside academia?
mathoverflow.net

23
Not especially famous, long-open problems which anyone can understand
mathoverflow.net

21
Examples of common false beliefs in mathematics
mathoverflow.net

20
Not especially famous, long-open problems which anyone can understand
mathoverflow.net

18
Examples of common false beliefs in mathematics
mathoverflow.net

16
Examples of eventual counterexamples
mathoverflow.net

14
How has "what every mathematician should know" changed?
mathoverflow.net

12
Least collaborative mathematician
mathoverflow.net

11
Topological conditions forcing continuity
mathoverflow.net

11
When is the homomorphism poset between posets a lattice?
mathoverflow.net

11
Proposals for polymath projects
mathoverflow.net

10
"Strange" proofs of existence theorems
mathoverflow.net

9
Continuous relations?
mathoverflow.net

8
Does there exist a comprehensive compilation of Erdos's open problems?
mathoverflow.net

8
"Mächtigkeit" versus "Kardinalität"?
mathoverflow.net

8
Open questions about posets
mathoverflow.net

7
Defining a topology in the Power Set
mathoverflow.net

7
Notation for $\log \log \cdots \log n$?
mathoverflow.net

7
Does hyperconnected imply path-connected
mathoverflow.net

7
Concepts in topology successfully transferred to graph theory and combinatorics with non-trivial applications?
mathoverflow.net

7
What's a great christmas present for someone with a PhD in Mathematics?
mathoverflow.net

7
Not especially famous, long-open problems which anyone can understand
mathoverflow.net

6
If $X$ is compact, is $[X]^2$ compact, too?
mathoverflow.net

6
How big is the lattice of all functions?
mathoverflow.net

5
Is every continuous function measurable?
mathoverflow.net

5
Product of posets with Hausdorff interval topology
mathoverflow.net

5
Maximality statements that cannot be proved using $\mathsf{ZL}$
mathoverflow.net

5
Solving algebraic problems with topology
mathoverflow.net

1 2