15

Questions

8
19
votes
6
answers
1k
views

Interpretation of the Second Incompleteness Theorem

aug 17 at 13:37 Stefan Geschke 10.5k11437

3
10
votes
2
answers
940
views

Realizing groups as automorphism groups of graphs.

sep 1 10 at 17:46 François G. Dorais 22.4k248113

2
8
votes
6
answers
938
views

Independent families of subsets of $\mathbb N$ of size continuum

apr 4 12 at 10:24 KP Hart 2,281311

3
17
votes
2
answers
839
views

Axiom of Choice: Ultrafilter vs. Vitali set

mar 19 at 18:13 Paul Larson 19623

5
9
votes
3
answers
791
views

Is non-connectedness of graphs first order axiomatizable?

aug 29 10 at 13:21 Joel David Hamkins 74.9k7187343

 
8
votes
3
answers
757
views

What is this operation on graphs called?

sep 29 10 at 16:55 Stefan Geschke 10.5k11437

 
10
votes
1
answer
394
views

Classes of finite graphs closed under substitution

dec 3 11 at 19:22 MathOverflow 123

2
4
votes
2
answers
379
views

Groups as automorphism groups of small graphs and the number of rigid graphs of a given size

sep 1 10 at 17:38 Pete L. Clark 39.5k3102225

 
7
votes
2
answers
375
views

Simple proof that these graphs are perfect

jul 28 10 at 20:12 François G. Dorais 22.4k248113

1
6
votes
1
answer
325
views

Existence of non-principal ultrafilters on sets

sep 27 11 at 11:55 François G. Dorais 22.4k248113

1 2 next