100

Questions
votes newest views recent
20
30
votes
4
answers
2k
views

A bestiary of topologies on Sch

oct 3 11 at 5:01 David Roberts 11.7k●2●18●55

7
21
votes
1
answer
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,881●7●18

4
17
votes
1
answer
885
views

What about stacks of categories in algebraic geometry?

mar 1 11 at 18:32 Torsten Ekedahl 17.9k●1●42●68

5
17
votes
5
answers
937
views

What is the generic poset used in forcing, really?

jan 5 11 at 21:47 Stefan Geschke 10.5k●1●14●37

4
16
votes
4
answers
1k
views

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

aug 26 10 at 11:21 Andrej Bauer 12.4k●26●68

4
15
votes
0
answers
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.7k●2●18●55

2
13
votes
4
answers
2k
views

How true are theorems proved by Coq?

jun 15 11 at 6:30 joro 4,200●1●10●31

6
13
votes
0
answers
291
views

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

jan 3 at 1:18 David Roberts 11.7k●2●18●55

2
13
votes
3
answers
541
views

Characterising categories of vector spaces

jan 7 at 19:39 John Baez 1,730●7●20

4
13
votes
3
answers
1k
views

Stacks in modern number theory/arithmetic geometry

may 15 12 at 5:50 David Roberts 11.7k●2●18●55

1 2 3 4 5 … 10 next