All Questions
Tagged with paper-request lo.logic
2 questions
12
votes
1
answer
1k
views
How to locate the paper that established Robinson Arithmetic?
If I'm not mistaken, it was in his seminal paper “An Essentially Undecidable Axiom System”, published in
Proceedings of the International Congress of Mathematicians (1950), 1952:729–730,
where R.M. ...
- 387
2
votes
1
answer
135
views
Harrington's notes on McLaughlin/Arithmetically incomparable singletons
At one point I had copies of the handwritten notes Leo created about the McLaughlin conjecture and I know a similar set of notes exist titled Arithmetically incomparable arithmetic singletons. I've ...
- 3,029