User Feldmann Denis

43 votes

5 answers

63k views

How large is TREE(3)?

asked Apr 12, 2012 at 6:35

26 votes

2 answers

3k views

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

asked Jul 6, 2013 at 8:15

25 votes

2 answers

2k views

Integration in the surreal numbers

asked Apr 24, 2012 at 6:04

25 votes

4 answers

1k views

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

asked Sep 12, 2012 at 20:55

15 votes

1 answer

1k views

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

asked Oct 18, 2012 at 5:20

15 votes

1 answer

1k views

Differential equations and axiom of choice

asked Nov 12, 2012 at 17:34

12 votes

1 answer

734 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

8 votes

2 answers

592 views

A characterisation of well-ordering ?

asked Aug 15, 2011 at 16:46

8 votes

1 answer

729 views

Hales work on Kepler conjecture

asked Aug 22, 2012 at 10:28

8 votes

5 answers

809 views

Positive results coming from paradoxes

asked Dec 15, 2012 at 12:11

7 votes

1 answer

775 views

Disconnecting sets

asked Aug 23, 2011 at 3:20

6 votes

1 answer

286 views

Isomorphisms between non-standard reals.

asked Apr 27, 2012 at 11:28

6 votes

1 answer

406 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

407 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

359 views

Translation of a non-standard analysis formulation

asked Jan 23, 2013 at 21:39

4 votes

1 answer

330 views

Gödel's speed up theorem and Matiyasevich polynomials

asked Apr 28, 2014 at 18:15

4 votes

2 answers

384 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

638 views

Cantor theorem on orders

asked Jul 11, 2012 at 21:53

3 votes

1 answer

530 views

Banach-Tarski vs von Neumann

asked Oct 3, 2012 at 14:09

3 votes

1 answer

390 views

Aronszajn trees and the transfinite subway

asked Dec 20, 2012 at 10:15

2 votes

0 answers

268 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

822 views

Are all compact groups amenable ?

asked Oct 18, 2012 at 9:16

1 vote

1 answer

787 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)?

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

Integration in the surreal numbers

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

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

Differential equations and axiom of choice

Fast-growing hierarchy and Turing machines

Topologies on the field of rationals

Faà di Bruno's formula for inverse functions?

A characterisation of well-ordering ?

Hales work on Kepler conjecture

Positive results coming from paradoxes

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) ?