10

Questions
votes newest views recent
 
0
votes
0
answers
2k
views

What number comes next in the sequence? [closed]

dec 14 10 at 1:37 Yemon Choi 8,456●1●19●45

6
15
votes
3
answers
1k
views

Clearing misconceptions: Defining “is a model of ZFC” in ZFC

jan 11 11 at 22:20 Jason 1,944●1●5●16

3
5
votes
4
answers
1k
views

Zero-knowledge proof that 0 = 1

jan 23 11 at 9:16 none 1

1
4
votes
3
answers
1k
views

Nonessential use of large cardinals

dec 15 10 at 23:25 Harry Gindi 8,878●2●33●96

3
9
votes
2
answers
684
views

Asymptotic density of provable statements in ZFC

dec 30 10 at 10:13 none 1

1
5
votes
1
answer
590
views

Uncountable nonstandard models of PA

dec 6 10 at 6:11 Jason 1,944●1●5●16

1
6
votes
1
answer
512
views

Nonstandard models of PA of large cardinal size

jan 12 11 at 17:26 David Milovich 681●3●10

4
11
votes
1
answer
505
views

Impact of discrepancy between Kunen’s and Jech’s definition of iterated forcing on full support iterations

mar 11 11 at 16:46 Stefan Geschke 10.6k●1●14●37

 
4
votes
1
answer
377
views

Implication of Polignac’s conjecture on prime distribution in models of PA

jan 7 11 at 16:12 SJR 3,082●1●6●16

 
3
votes
0
answers
171
views

Forcing to show ground model properties [closed]

dec 9 10 at 0:52 Jason 1,944●1●5●16