25

Questions
votes newest views recent
48
62
votes
28
answers
6k
views

New grand projects in contemporary math

mar 10 at 23:21 unknown (yahoo) 171●1●10

18
40
votes
3
answers
2k
views

Forcing as a new chapter of Galois Theory

jan 13 at 23:00 Rami 701●4●8

3
6
votes
8
answers
1k
views

ULTRAINFINITISM, or a step beyond the transfinite

jul 2 at 6:05 David Roberts 11.9k●2●18●56

4
9
votes
3
answers
1k
views

Higher categories as data structures

jul 16 at 15:13 Tim Porter 3,805●6●14

5
10
votes
5
answers
1k
views

Alternative Arithmetics

jun 4 11 at 11:44 Ali Enayat 4,459●1●9●23

2
5
votes
2
answers
810
views

Set Theory inside Arithmetics via the Ackermann Yoga

jun 7 11 at 17:03 Ali Enayat 4,459●1●9●23

5
15
votes
3
answers
749
views

Finite versions of Godel' s incompleteness

feb 10 at 1:56 quid 13.5k●33●54

1
7
votes
3
answers
708
views

A General Framework for Ramsey Theory ?

may 27 at 16:18 Martin Brandenburg 29.5k●2●47●133

2
6
votes
4
answers
624
views

Is there a sense in which the homotopy theory of simplicial sets is the “paradigmatic” one?

jul 20 at 9:11 Tim Porter 3,805●6●14

1
4
votes
2
answers
617
views

Large cardinals without the ambient set theory?

aug 24 at 15:32 Peter LeFanu Lumsdaine 2,692●9●20

1 2 3 next