All Questions
Tagged with independence-results graph-theory
2 questions
8
votes
1
answer
490
views
Natural $\Pi_1$ sentence independent of PA
Order invariant graphs and finite incompleteness by Harvey Friedman gives an example of a combinatorial/non-metamathematical $\Pi_1$ sentence that is independent of ZFC. Is there a simpler example of ...
- 2,203
32
votes
1
answer
2k
views
Should axiomatic set theory be translated into graph theory?
Recently I saw the abstract of a paper by Nash-Williams: ``Should axiomatic set theory be translated into graph theory?''. The abstract, taken from Mathscinet says the following:
The author ...
- 32.1k