User David Roberts

73 votes

6 answers

6k views

A bestiary of topologies on Sch

asked Sep 5, 2011 at 2:06

65 votes

2 answers

9k views

Where are the second- (and third-)generation proofs of the classification of finite simple groups up to?

asked Nov 29, 2012 at 23:59

59 votes

8 answers

12k views

How true are theorems proved by Coq?

asked Mar 25, 2011 at 5:57

55 votes

5 answers

6k views

How much of the ATLAS of finite groups is independently checked and/or computer verified?

asked Aug 19, 2015 at 3:16

40 votes

1 answer

5k views

Clausen–Scholze's Theorem 9.1 of Analytic.pdf, in view of light condensed sets, AKA is the Liquid Tensor Experiment easier now?

asked Mar 21 at 6:29

38 votes

2 answers

3k views

What about stacks of categories in algebraic geometry?

asked Mar 1, 2011 at 4:12

36 votes

6 answers

6k views

Who needs Replacement anyway?

asked Jun 8, 2015 at 5:31

33 votes

0 answers

2k views

Next steps on formal proof of classification of finite simple groups

asked Jun 23, 2015 at 3:20

32 votes

3 answers

4k views

What is the reverse mathematical strength of the fundamental theorem of algebra?

asked Jun 30, 2015 at 0:35

32 votes

4 answers

5k views

Why is this "the first elliptic curve in nature"?

asked May 20, 2020 at 4:42

23 votes

1 answer

3k views

What is known about the theory of natural numbers with only 0, successor and max?

asked May 28 at 2:10

23 votes

1 answer

4k views

How many proofs of the Weil conjectures are there?

asked Mar 20, 2013 at 22:57

23 votes

5 answers

4k views

What is the generic poset used in forcing, really?

asked Jan 5, 2011 at 7:50

22 votes

1 answer

805 views

Relative consistency of ETCS over the theory of a well-pointed topos with NNO

asked Jan 3, 2013 at 1:18

21 votes

3 answers

3k views

Stacks in modern number theory/arithmetic geometry

asked May 15, 2012 at 0:45

21 votes

1 answer

846 views

Is there a category of topological spaces such that open surjections admit local sections?

asked May 31, 2010 at 13:40

21 votes

2 answers

8k views

Separable and algebraic closures?

asked Jun 7, 2010 at 6:12

20 votes

4 answers

3k views

How constructive is Doyle-Conway's 'Division by three'?

asked Aug 25, 2010 at 0:02

20 votes

1 answer

1k views

On a question motivating Lurie's treatment of formal moduli problems

asked Apr 3, 2014 at 6:38

20 votes

1 answer

1k views

Possible contemporary improvement to bounded gaps between primes?

asked May 7, 2021 at 15:06

19 votes

1 answer

884 views

What is $Aut(Ell)$?

asked Jun 28, 2013 at 5:48

19 votes

1 answer

841 views

Vector field on a K3 surface with 24 zeroes

asked Oct 14, 2015 at 22:38

19 votes

4 answers

10k views

Fast turn-around times

asked Feb 21, 2011 at 0:25

18 votes

4 answers

4k views

Proof strength of Calculus of (Inductive) Constructions

asked Jul 1, 2011 at 5:08

18 votes

1 answer

1k views

Why strong limit cardinals in the definition of condensed sets?

asked Dec 6, 2020 at 7:43

17 votes

3 answers

2k views

Characterising categories of vector spaces

asked Jan 7, 2013 at 6:08

15 votes

1 answer

1k views

Gabber's proof of Br' = Br for quasiprojective schemes

asked Feb 25, 2014 at 11:08

15 votes

0 answers

502 views

Direct comparison zig-zag between cochain theories

asked Apr 8, 2019 at 7:58

15 votes

2 answers

736 views

Definition of "galaxy", due to Sabbagh/Samuel

asked Jun 23, 2022 at 7:08

15 votes

2 answers

887 views

Hodge decomposition of smooth n-forms: is it an isomorphism of topological vector spaces?

asked May 13 at 11:49

Stack Exchange Network

193 Questions

A bestiary of topologies on Sch

Where are the second- (and third-)generation proofs of the classification of finite simple groups up to?

How true are theorems proved by Coq?

How much of the ATLAS of finite groups is independently checked and/or computer verified?

Clausen–Scholze's Theorem 9.1 of Analytic.pdf, in view of light condensed sets, AKA is the Liquid Tensor Experiment easier now?

What about stacks of categories in algebraic geometry?

Who needs Replacement anyway?

Next steps on formal proof of classification of finite simple groups

What is the reverse mathematical strength of the fundamental theorem of algebra?

Why is this "the first elliptic curve in nature"?

What is known about the theory of natural numbers with only 0, successor and max?

How many proofs of the Weil conjectures are there?

What is the generic poset used in forcing, really?

Relative consistency of ETCS over the theory of a well-pointed topos with NNO

Stacks in modern number theory/arithmetic geometry

Is there a category of topological spaces such that open surjections admit local sections?

Separable and algebraic closures?

How constructive is Doyle-Conway's 'Division by three'?

On a question motivating Lurie's treatment of formal moduli problems

Possible contemporary improvement to bounded gaps between primes?

What is $Aut(Ell)$?

Vector field on a K3 surface with 24 zeroes

Fast turn-around times

Proof strength of Calculus of (Inductive) Constructions

Why strong limit cardinals in the definition of condensed sets?

Characterising categories of vector spaces

Gabber's proof of Br' = Br for quasiprojective schemes

Direct comparison zig-zag between cochain theories

Definition of "galaxy", due to Sabbagh/Samuel

Hodge decomposition of smooth n-forms: is it an isomorphism of topological vector spaces?