Matches in DBpedia 2014 for { <http://dbpedia.org/resource/Kanamori–McAloon_theorem> ?p ?o. }
Showing items 1 to 11 of
11
with 100 items per page.
- Kanamori–McAloon_theorem abstract "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.".
- Kanamori–McAloon_theorem wikiPageID "28653915".
- Kanamori–McAloon_theorem wikiPageRevisionID "569642732".
- Kanamori–McAloon_theorem subject Category:Independence_results.
- Kanamori–McAloon_theorem subject Category:Theorems_in_the_foundations_of_mathematics.
- Kanamori–McAloon_theorem comment "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.".
- Kanamori–McAloon_theorem label "Kanamori–McAloon theorem".
- Kanamori–McAloon_theorem sameAs Kanamori%E2%80%93McAloon_theorem.
- Kanamori–McAloon_theorem sameAs Q6360586.
- Kanamori–McAloon_theorem sameAs Q6360586.
- Kanamori–McAloon_theorem wasDerivedFrom Kanamori–McAloon_theorem?oldid=569642732.