Matches in DBpedia 2015-10 for { <http://dbpedia.org/resource/Kanamori–McAloon_theorem> ?p ?o }
Showing triples 1 to 30 of
30
with 100 triples 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 wikiPageLength "955".
- Kanamori–McAloon_theorem wikiPageOutDegree "11".
- Kanamori–McAloon_theorem wikiPageRevisionID "569642732".
- Kanamori–McAloon_theorem wikiPageWikiLink Category:Independence_results.
- Kanamori–McAloon_theorem wikiPageWikiLink Category:Theorems_in_the_foundations_of_mathematics.
- Kanamori–McAloon_theorem wikiPageWikiLink Goodsteins_theorem.
- Kanamori–McAloon_theorem wikiPageWikiLink Kruskals_tree_theorem.
- Kanamori–McAloon_theorem wikiPageWikiLink Mathematical_logic.
- Kanamori–McAloon_theorem wikiPageWikiLink Paris–Harrington_theorem.
- Kanamori–McAloon_theorem wikiPageWikiLink Paul_Erdős.
- Kanamori–McAloon_theorem wikiPageWikiLink Peano_arithmetic.
- Kanamori–McAloon_theorem wikiPageWikiLink Peano_axioms.
- Kanamori–McAloon_theorem wikiPageWikiLink Ramsey_theory.
- Kanamori–McAloon_theorem wikiPageWikiLink Richard_Rado.
- Kanamori–McAloon_theorem wikiPageWikiLinkText "Kanamori–McAloon theorem".
- Kanamori–McAloon_theorem hasPhotoCollection Kanamori–McAloon_theorem.
- Kanamori–McAloon_theorem wikiPageUsesTemplate Template:Citation.
- Kanamori–McAloon_theorem wikiPageUsesTemplate Template:Harvtxt.
- Kanamori–McAloon_theorem wikiPageUsesTemplate Template:Mathlogic-stub.
- 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 m.0cz832x.
- Kanamori–McAloon_theorem sameAs Q6360586.
- Kanamori–McAloon_theorem sameAs Q6360586.
- Kanamori–McAloon_theorem wasDerivedFrom Kanamori–McAloon_theorem?oldid=569642732.
- Kanamori–McAloon_theorem isPrimaryTopicOf Kanamori–McAloon_theorem.