3

Questions
votes newest views recent
 
12
votes
3
answers
771
views

Are there examples of nonconstructive metaproofs?

jun 8 11 at 16:37 David Harris 2,549●1●4●18

1
9
votes
2
answers
963
views

Given n k-element subsets of n, is there a small subset A of n which intersects them all?

may 19 10 at 16:20 Karl Waugh 69●4

9
13
votes
3
answers
1k
views

Is there a computable model of ZFC?

may 5 10 at 14:16 Dave Marker 1,935●7●8