Searching for authors named "George Mills" – sorted by Relevance.
-
Some bounds for the Ramsey-Paris-Harrington numbers
- It has recently been discovered that a certain variant of Ramsey's theorem cannot be proved in first-order Peano arithmetic although it is in fact a true theorem. In this paper we give some bounds for the "Ramsey-Paris-Harrington numbers " associated with this variant of Ramsey's theorem,
- Cited by 3 (0 self) – Add To MetaCart

