User Dominic van der Zypen

60 votes

7 answers

9k views

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

asked Nov 24, 2017 at 15:03

34 votes

9 answers

6k views

Decision problems for which it is unknown whether they are decidable

asked Nov 6, 2019 at 15:57

33 votes

4 answers

2k views

Connectedness in the language of path-connectedness

asked Mar 24, 2015 at 7:01

31 votes

2 answers

1k views

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

asked Jan 8, 2018 at 8:09

26 votes

2 answers

2k views

Runner's High (Speed)

asked Dec 5, 2018 at 12:47

25 votes

2 answers

2k views

Question on a generalisation of a theorem by Euler

asked Jun 16, 2018 at 10:38

25 votes

3 answers

1k views

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

asked Mar 29, 2020 at 15:07

23 votes

2 answers

3k views

Does the "three-set-lemma" imply the Axiom of Choice?

asked Apr 20, 2020 at 12:12

23 votes

4 answers

2k views

Are infinite groups in which most elements have order $\leq 2$ commutative?

asked Sep 18, 2018 at 6:09

20 votes

3 answers

991 views

Does the hypergraph of subgroups determine a group?

asked Oct 6, 2018 at 13:47

20 votes

2 answers

545 views

$\kappa$-homogeneous topological spaces

asked Jul 28, 2016 at 12:50

20 votes

1 answer

557 views

Almost orthogonal maps $f:\omega \to \{-1,1\}$

asked Aug 30 at 6:44

19 votes

4 answers

1k views

Generalization of a mind-boggling box-opening puzzle

asked Oct 19 at 9:42

19 votes

3 answers

2k views

Non-homeomorphic spaces such that taking away a point makes them homeomorphic

asked Aug 4, 2015 at 8:49

19 votes

3 answers

1k views

"Anti" fixed point property

asked Nov 11, 2017 at 9:15

18 votes

0 answers

1k views

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

asked Aug 14, 2017 at 19:16

17 votes

1 answer

463 views

"Good" edge-colorings

asked Feb 12, 2017 at 15:59

17 votes

2 answers

1k views

"Insanely increasing" $C^\infty$ function with upper bound

asked Nov 26, 2018 at 17:31

17 votes

1 answer

937 views

Fraction of $S_n$ reachable by using every transposition once as $n\to\infty$?

asked Feb 12, 2022 at 15:54

17 votes

1 answer

1k views

Does the set of square numbers adhere to Benford's law in every base?

asked Dec 21, 2022 at 13:19

17 votes

1 answer

580 views

Aperiodic monotile in $\mathbb{R}$

asked Mar 24, 2023 at 9:36

15 votes

1 answer

746 views

Page-turning number of a graph

asked Jul 30, 2022 at 20:55

15 votes

1 answer

1k views

Parity and the Axiom of Choice

asked Sep 3, 2023 at 19:03

15 votes

3 answers

1k views

Is $\prod_{i=1}^\infty (1-\frac{1}{2^{(2^i)}})$ transcendental?

asked Jan 19, 2022 at 13:25

14 votes

1 answer

318 views

Are these two quotients of $\omega^\omega$ isomorphic?

asked Feb 13, 2016 at 20:13

14 votes

3 answers

412 views

$T_2$ topologies that are "as disjoint as possible"

asked Mar 22, 2016 at 8:44

14 votes

2 answers

1k views

Hausdorff spaces with trivial automorphism group

asked Dec 3, 2014 at 10:03

13 votes

1 answer

675 views

Strongly rigid Hausdorff spaces

asked Dec 3, 2014 at 12:36

13 votes

4 answers

729 views

Cardinality of the set of functions commuting with $f:X\to X$

asked Dec 30, 2016 at 11:01

13 votes

1 answer

639 views

$T_2$-spaces where all non-empty open sets are homeomorphic

asked May 15, 2018 at 8:14

Stack Exchange Network

1,209 Questions

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

Decision problems for which it is unknown whether they are decidable

Connectedness in the language of path-connectedness

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

Runner's High (Speed)

Question on a generalisation of a theorem by Euler

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

Does the "three-set-lemma" imply the Axiom of Choice?

Are infinite groups in which most elements have order $\leq 2$ commutative?

Does the hypergraph of subgroups determine a group?

$\kappa$-homogeneous topological spaces

Almost orthogonal maps $f:\omega \to \{-1,1\}$

Generalization of a mind-boggling box-opening puzzle

Non-homeomorphic spaces such that taking away a point makes them homeomorphic

"Anti" fixed point property

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

"Good" edge-colorings

"Insanely increasing" $C^\infty$ function with upper bound

Fraction of $S_n$ reachable by using every transposition once as $n\to\infty$?

Does the set of square numbers adhere to Benford's law in every base?

Aperiodic monotile in $\mathbb{R}$

Page-turning number of a graph

Parity and the Axiom of Choice

Is $\prod_{i=1}^\infty (1-\frac{1}{2^{(2^i)}})$ transcendental?

Are these two quotients of $\omega^\omega$ isomorphic?

$T_2$ topologies that are "as disjoint as possible"

Hausdorff spaces with trivial automorphism group

Strongly rigid Hausdorff spaces

Cardinality of the set of functions commuting with $f:X\to X$

$T_2$-spaces where all non-empty open sets are homeomorphic