38

Questions
votes newest views recent
11
15
votes
5
answers
3k
views

What are some proofs of Godel’s Theorem which are *essentially different* from the original proof?

aug 5 11 at 20:54 Ron Maimon 564●8●12

6
20
votes
8
answers
1k
views

Self-containing structures

mar 29 at 3:13 Noah S 3,885●6●27

3
12
votes
4
answers
990
views

Fermat’s Last Theorem and Computability Theory

dec 23 10 at 21:51 Pete L. Clark 39.6k●3●102●226

3
9
votes
3
answers
717
views

When can we detect forcing?

nov 15 10 at 0:09 Andres Caicedo 14.4k●1●42●79

7
16
votes
0
answers
563
views

Supercompact and Reinhardt cardinals without choice

jun 6 at 15:26 Noah S 3,885●6●27

1
9
votes
3
answers
533
views

Polygons arising from knot diagrams

dec 24 10 at 21:36 Noah S 3,885●6●27

2
10
votes
2
answers
521
views

A limit to Shoenfield Absoluteness

aug 3 11 at 16:49 Noah S 3,885●6●27

2
9
votes
1
answer
521
views

Characterization of Stone-Cech compactifications

sep 23 at 7:54 Simon Henry 965●3●9

 
11
votes
2
answers
452
views

Can we collapse $\omega_1$ to $\omega$ without adding a dominating real?

oct 12 11 at 21:54 Todd Eisworth 1,193●3●11

4
12
votes
1
answer
420
views

2-colorings of the reals

dec 16 11 at 1:17 Amit Kumar Gupta 2,909●10●26

1 2 3 4 next