15

Questions
votes newest views recent
8
19
votes
6
answers
1k
views

Interpretation of the Second Incompleteness Theorem

aug 17 at 13:37 Stefan Geschke 10.6k●1●14●37

3
17
votes
2
answers
840
views

Axiom of Choice: Ultrafilter vs. Vitali set

mar 19 at 18:13 Paul Larson 196●2●3

 
10
votes
1
answer
395
views

Classes of finite graphs closed under substitution

dec 3 11 at 19:22 MathOverflow♦ 1●2●3

3
10
votes
2
answers
944
views

Realizing groups as automorphism groups of graphs.

sep 1 10 at 17:46 François G. Dorais♦ 22.7k●2●48●113

5
9
votes
3
answers
794
views

Is non-connectedness of graphs first order axiomatizable?

aug 29 10 at 13:21 Joel David Hamkins 75.2k●7●187●343

 
8
votes
3
answers
757
views

What is this operation on graphs called?

sep 29 10 at 16:55 Stefan Geschke 10.6k●1●14●37

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,281●3●11

 
7
votes
2
answers
375
views

Simple proof that these graphs are perfect

jul 28 10 at 20:12 François G. Dorais♦ 22.7k●2●48●113

5
6
votes
4
answers
228
views

Finite graphs that realize all types over $n$-element sets

may 11 11 at 20:06 Andreas Blass 32.9k●4●54●109

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.7k●2●48●113

1 2 next