User Feldmann Denis

44 votes

5 answers

64k views

How large is TREE(3)?

asked Apr 12, 2012 at 6:35

28 votes

4 answers

3k views

Integration in the surreal numbers

asked Apr 24, 2012 at 6:04

26 votes

4 answers

1k views

Is Monsky's theorem dependent on the axiom of choice?

asked Sep 12, 2012 at 20:55

26 votes

2 answers

3k views

How to prove Lambert's W function is not elementary?

asked Jul 6, 2013 at 8:15

15 votes

1 answer

1k views

Differential equations and axiom of choice

asked Nov 12, 2012 at 17:34

15 votes

1 answer

1k views

Tarski monster groups: for which primes they don't exist?

asked Oct 18, 2012 at 5:20

12 votes

1 answer

748 views

Fast-growing hierarchy and Turing machines

asked Aug 2, 2012 at 5:50

11 votes

1 answer

1k views

Topologies on the field of rationals

asked Sep 5, 2012 at 16:44

10 votes

10 answers

2k views

Faà di Bruno's formula for inverse functions?

asked May 31, 2012 at 15:59

9 votes

5 answers

825 views

Positive results coming from paradoxes

asked Dec 15, 2012 at 12:11

8 votes

1 answer

743 views

Hales work on Kepler conjecture

asked Aug 22, 2012 at 10:28

7 votes

2 answers

595 views

A characterisation of well-ordering ?

asked Aug 15, 2011 at 16:46

7 votes

1 answer

785 views

Disconnecting sets

asked Aug 23, 2011 at 3:20

6 votes

1 answer

289 views

Isomorphisms between non-standard reals.

asked Apr 27, 2012 at 11:28

6 votes

1 answer

408 views

Mandelbrot set and analytic functions such that $f(az)=f(z)^2+c$

asked May 1, 2012 at 16:29

6 votes

0 answers

625 views

Functions with null derivative

asked Aug 28, 2012 at 13:26

6 votes

1 answer

411 views

A kind of anti-Ramsey result

asked Oct 23, 2015 at 15:11

6 votes

3 answers

1k views

Exact formula for $\sum_{n=0}^{+\infty}\frac1{n^2+1}$

asked Nov 30, 2015 at 14:59

5 votes

2 answers

1k views

regular polyhedra (and polytopes) in hyperbolic geometry, and generalisations

asked Mar 3, 2015 at 8:22

4 votes

3 answers

363 views

Translation of a non-standard analysis formulation

asked Jan 23, 2013 at 21:39

4 votes

1 answer

336 views

Gödel's speed up theorem and Matiyasevich polynomials

asked Apr 28, 2014 at 18:15

4 votes

2 answers

411 views

Divisibility of Stirling numbers

asked Jan 4, 2023 at 11:06

4 votes

1 answer

1k views

Hausdorff dimension of graphs .

asked Aug 29, 2011 at 18:40

4 votes

2 answers

649 views

Cantor theorem on orders

asked Jul 11, 2012 at 21:53

3 votes

1 answer

540 views

Banach-Tarski vs von Neumann

asked Oct 3, 2012 at 14:09

3 votes

1 answer

393 views

Aronszajn trees and the transfinite subway

asked Dec 20, 2012 at 10:15

2 votes

0 answers

281 views

Are almost all continuous functions nowhere differentiable?

asked Sep 5, 2019 at 13:06

2 votes

3 answers

1k views

Characteristic polynomial of hypercube graph

asked Nov 10, 2012 at 21:11

1 vote

1 answer

850 views

Are all compact groups amenable ?

asked Oct 18, 2012 at 9:16

1 vote

1 answer

793 views

Is there a closed form for the characteristic polynomial of the graph cycle (of n edges and n summits) ?

asked Nov 7, 2012 at 18:38

Stack Exchange Network

30 Questions

How large is TREE(3)?

Integration in the surreal numbers

Is Monsky's theorem dependent on the axiom of choice?

How to prove Lambert's W function is not elementary?

Differential equations and axiom of choice

Tarski monster groups: for which primes they don't exist?

Fast-growing hierarchy and Turing machines

Topologies on the field of rationals

Faà di Bruno's formula for inverse functions?

Positive results coming from paradoxes

Hales work on Kepler conjecture

A characterisation of well-ordering ?

Disconnecting sets

Isomorphisms between non-standard reals.

Mandelbrot set and analytic functions such that $f(az)=f(z)^2+c$

Functions with null derivative

A kind of anti-Ramsey result

Exact formula for $\sum_{n=0}^{+\infty}\frac1{n^2+1}$

regular polyhedra (and polytopes) in hyperbolic geometry, and generalisations

Translation of a non-standard analysis formulation

Gödel's speed up theorem and Matiyasevich polynomials

Divisibility of Stirling numbers

Hausdorff dimension of graphs .

Cantor theorem on orders

Banach-Tarski vs von Neumann

Aronszajn trees and the transfinite subway

Are almost all continuous functions nowhere differentiable?

Characteristic polynomial of hypercube graph

Are all compact groups amenable ?

Is there a closed form for the characteristic polynomial of the graph cycle (of n edges and n summits) ?