Kanamori–McAloon theorem
id:
kanamori-mcaloon-theorem-280-489057
title:
Kanamori–McAloon theorem
text:
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 theorem in Ramsey theory is not provable in Peano arithmetic (PA).
brand slug:
wiki
category slug:
encyclopedia
description:
original url:
https://en.wikipedia.org/wiki/Kanamori%E2%80%93McAloon_theorem
date created:
date modified:
2023-03-08T22:27:17Z
main entity:
{"identifier":"Q6360586","url":"https://www.wikidata.org/entity/Q6360586"}
image:
fields total:
13
integrity:
13