100

# Questions

20
30
4
2k
views

### A bestiary of topologies on Sch

oct 3 11 at 5:01 David Roberts 11.7k21855

7
21
1
562
views

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

nov 30 at 14:10 Nick Gill 2,881718

4
17
1
885
views

### What about stacks of categories in algebraic geometry?

mar 1 11 at 18:32 Torsten Ekedahl 17.9k14268

5
17
5
937
views

### What is the generic poset used in forcing, really?

jan 5 11 at 21:47 Stefan Geschke 10.5k11437

4
16
4
1k
views

### How constructive is Doyle-Conway’s ‘Division by three’?

aug 26 10 at 11:21 Andrej Bauer 12.4k2668

4
15
0
418
views

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

mar 15 12 at 2:23 David Roberts 11.7k21855

2
13
4
2k
views

### How true are theorems proved by Coq?

jun 15 11 at 6:30 joro 4,20011031

6
13
0
291
views

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

jan 3 at 1:18 David Roberts 11.7k21855

2
13
3
541
views

### Characterising categories of vector spaces

jan 7 at 19:39 John Baez 1,730720

4
13