User Robin Saunders

8 votes

1 answer

257 views

What is known about these "explicitly represented" spaces?

asked Feb 13, 2021 at 7:25

4 votes

1 answer

198 views

Is every compact, sober, second-countable space the image of $2^\omega$?

asked Feb 2 at 10:26

8 votes

0 answers

136 views

How strong is exponentiation with only open induction? (Or: "how low can we go?")

asked Apr 17, 2023 at 19:57

4 votes

4 answers

708 views

Parametrizing the realization space of a polyhedron by its edges

asked Jun 24, 2011 at 11:14

15 votes

1 answer

362 views

How much can "(recursively) large ordinal axioms" prove?

asked Jan 10, 2017 at 0:17

6 votes

0 answers

70 views

Roundest polyhedra: how well can we bound the edge count of their faces?

asked May 2, 2022 at 0:08

10 votes

1 answer

963 views

ζ(-n) and "powers" of Grandi's series

asked Feb 26, 2014 at 16:00

4 votes

0 answers

206 views

Graphs with high girth and low diameter

asked Nov 4, 2021 at 15:34

4 votes

2 answers

528 views

Theorems with finite sets of exceptions

asked Sep 7, 2021 at 0:15

4 votes

1 answer

811 views

Going beyond the strength of Peano arithmetic "without sets"

asked Sep 3, 2018 at 1:12

8 votes

4 answers

1k views

Sequences of evenly-distributed points in a product of intervals

asked Sep 2, 2010 at 13:51

6 votes

0 answers

475 views

Infinite-time Turing machines and the formal Church's thesis

asked Apr 19, 2018 at 18:16

12 votes

1 answer

831 views

How to find or constrain "particularly good" (two-sided) spectral expanders?

asked Aug 24, 2013 at 23:57

4 votes

0 answers

114 views

Is there a categorical foundation for manifolds of bounded geometry and bandlimited functions?

asked Apr 2, 2018 at 21:25

1 vote

1 answer

469 views

"Co-ordinate-free" mathematics for general structures? [closed]

asked Oct 10, 2016 at 15:16

2 votes

1 answer

113 views

What is known about these spherical point distributions related to pinecones?

asked Jun 16, 2017 at 3:02

34 votes

2 answers

5k views

Smallest permutation representation of a finite group?

asked Mar 2, 2010 at 14:33

7 votes

1 answer

203 views

"Universal embedding structures" in a general setting?

asked Aug 9, 2016 at 17:00

15 votes

1 answer

713 views

Digital physics and "Gandy-like" machines

asked May 25, 2016 at 17:31

3 votes

0 answers

255 views

"Kolmogorov complexity" of models of computation

asked Mar 12, 2016 at 2:36

3 votes

1 answer

386 views

Theories of arithmetic from recursively inseparable sets

asked Mar 3, 2016 at 19:41

7 votes

1 answer

603 views

Relationship between first and second incompleteness theorems

asked Feb 26, 2016 at 17:06

12 votes

1 answer

561 views

"Set theory" founded on lists rather than sets

asked Feb 12, 2016 at 21:44

21 votes

2 answers

4k views

Pi and the primes: a pattern related to the Ulam spiral

asked Jul 7, 2010 at 7:20

2 votes

0 answers

68 views

s-arc transitivity and the Moore bound

asked Aug 4, 2015 at 17:23

4 votes

2 answers

296 views

Riemannian metric on a space of "not-quite-smooth" (hyper)surfaces?

asked Feb 27, 2013 at 23:10

3 votes

3 answers

323 views

Equivalence classes of (2,3)-pairs in PSL(2,q)

asked Oct 1, 2014 at 15:53

5 votes

0 answers

258 views

(Connected) Cayley graphs of PSL(2,q) from (2,3,n)-triples

asked Sep 3, 2014 at 17:28

1 vote

2 answers

257 views

Cubic Cayley (undirected) graphs

asked Aug 27, 2014 at 15:59

3 votes

2 answers

377 views

Generalized Moore Graphs

asked Oct 17, 2013 at 2:20

Stack Exchange Network

53 Questions

What is known about these "explicitly represented" spaces?

Is every compact, sober, second-countable space the image of $2^\omega$?

How strong is exponentiation with only open induction? (Or: "how low can we go?")

Parametrizing the realization space of a polyhedron by its edges

How much can "(recursively) large ordinal axioms" prove?

Roundest polyhedra: how well can we bound the edge count of their faces?

ζ(-n) and "powers" of Grandi's series

Graphs with high girth and low diameter

Theorems with finite sets of exceptions

Going beyond the strength of Peano arithmetic "without sets"

Sequences of evenly-distributed points in a product of intervals

Infinite-time Turing machines and the formal Church's thesis

How to find or constrain "particularly good" (two-sided) spectral expanders?

Is there a categorical foundation for manifolds of bounded geometry and bandlimited functions?

"Co-ordinate-free" mathematics for general structures? [closed]

What is known about these spherical point distributions related to pinecones?

Smallest permutation representation of a finite group?

"Universal embedding structures" in a general setting?

Digital physics and "Gandy-like" machines

"Kolmogorov complexity" of models of computation

Theories of arithmetic from recursively inseparable sets

Relationship between first and second incompleteness theorems

"Set theory" founded on lists rather than sets

Pi and the primes: a pattern related to the Ulam spiral

s-arc transitivity and the Moore bound

Riemannian metric on a space of "not-quite-smooth" (hyper)surfaces?

Equivalence classes of (2,3)-pairs in PSL(2,q)

(Connected) Cayley graphs of PSL(2,q) from (2,3,n)-triples

Cubic Cayley (undirected) graphs

Generalized Moore Graphs