Gro-Tsen
  • Member for 10 years, 5 months
  • Last seen this week
5 answers
79 votes
8k views
13 bookmarks
Note rejected from arXiv: what to do next?
20 answers
62 votes
8k views
27 bookmarks
Situations where “naturally occurring” mathematical objects behave very differently from “typical” ones
1 answers
58 votes
4k views
23 bookmarks
Every real function has a dense set on which its restriction is continuous
1 answers
35 votes
2k views
9 bookmarks
When do 27 lines lie on a cubic surface?
1 answers
34 votes
2k views
15 bookmarks
Do the analogies between metamathematics of set theory and arithmetic have some deeper meaning?
2 answers
26 votes
2k views
9 bookmarks
Does Taranovsky's system of ordinal notations make sense?
1 answers
26 votes
995 views
15 bookmarks
Solving a delay-differential equation related to epidemiology
1 answers
26 votes
748 views
9 bookmarks
What are the points of simple algebraic groups over extensions of $\mathbb{F}_1$?
1 answers
22 votes
1k views
4 bookmarks
What is known about the common knowledge of mathematicians outside their field?
1 answers
21 votes
1k views
7 bookmarks
In what ways is ZF (without Choice) "somewhat constructive"
3 answers
21 votes
2k views
10 bookmarks
Real Lie groups versus real linear algebraic groups: differences in connexity and fundamental group
1 answers
18 votes
1k views
1 bookmarks
Axiom of Choice versus V=L in opposition to large cardinals
1 answers
18 votes
318 views
5 bookmarks
Proof as a Σ₁ approximation to truth: what about higher degrees?
3 answers
18 votes
497 views
7 bookmarks
Does there exist something like an $H_3$ and $H_4$ (icosahedral) Lie algebra or algebraic group?
1 answers
18 votes
1k views
2 bookmarks
Looking for a copy of Leo Harrington's unpublished notes on the first nonprojectible ordinal
2 answers
17 votes
440 views
3 bookmarks
In the internal language of the topos of sheaves on a topological space, can we define locally constant real-valued functions?
2 answers
17 votes
246 views
7 bookmarks
Labeling binary trees so that adjacent vertices differ by a power of two
2 answers
15 votes
592 views
3 bookmarks
Coordinates of the Weyl vector of $E_8$ (and the 135 classes of $W(E_8)/W(D_8)$)
0 answers
15 votes
345 views
3 bookmarks
The Monster Moonshine Module from the engineering or algorithmic point of view
2 answers
14 votes
539 views
2 bookmarks
Global homological dimension of group rings
2 answers
14 votes
363 views
3 bookmarks
Constructing $E_8$ from its branching to $A_8$
1 answers
14 votes
1k views
5 bookmarks
What does "game theory" cover and how should it be called?
1 answers
13 votes
256 views
1 bookmarks
Status of the basis exchange condition for symplectic matroids
1 answers
13 votes
296 views
2 bookmarks
Existence of a translation-invariant basis of $\ell^2$
1 answers
13 votes
484 views
1 bookmarks
Are Hausdorff measures on the real line Haar measures for some locally compact topology?
2 answers
13 votes
784 views
7 bookmarks
Can one define quantized universal enveloping algebras in a basis-free way?
0 answers
13 votes
2k views
2 bookmarks
Distribution of digits of $pq$-adic idempotents (aka "automorphic numbers")
1 answers
13 votes
952 views
2 bookmarks
"Largish" cardinals
2 answers
12 votes
527 views
5 bookmarks
Algorithm for computing external angles for the Mandelbrot set
1 answers
12 votes
261 views
1 bookmarks
Does this "mixable" property have a standard name in constructive mathematics?