Kanamori–McAloon theorem

In mathematical logic, the Kanamori–McAloon theorem, due to Kanamori & McAloon (1987), gives an example of an incompleteness in Peano arithmetic, similar to that of the Paris–Harrington theorem. They showed that a certain finitistic special case of a theorem in Ramsey theory due to Erdős and Rado is not provable in Peano arithmetic.

See also

References


This article is issued from Wikipedia - version of the Thursday, August 22, 2013. The text is available under the Creative Commons Attribution/Share Alike but additional terms may apply for the media files.