This HTML5 document contains 133 embedded RDF statements represented using HTML+Microdata notation.

The embedded RDF content will be recognized by any processor of HTML5 Microdata.

Namespace Prefixes

PrefixIRI
dbpedia-dehttp://de.dbpedia.org/resource/
dcthttp://purl.org/dc/terms/
dbohttp://dbpedia.org/ontology/
foafhttp://xmlns.com/foaf/0.1/
dbpedia-eshttp://es.dbpedia.org/resource/
n22http://g.co/kg/m/
dbpedia-ruhttp://ru.dbpedia.org/resource/
rdfshttp://www.w3.org/2000/01/rdf-schema#
category-frhttp://fr.dbpedia.org/resource/Catégorie:
n5http://perso.ens-lyon.fr/eric.thierry/Graphes2009/
dbpedia-plhttp://pl.dbpedia.org/resource/
n6http://fr.dbpedia.org/resource/Modèle:
n11http://fr.dbpedia.org/resource/Modèle:Traduction/
wikipedia-frhttp://fr.wikipedia.org/wiki/
dbpedia-fahttp://fa.dbpedia.org/resource/
rdfhttp://www.w3.org/1999/02/22-rdf-syntax-ns#
owlhttp://www.w3.org/2002/07/owl#
n21http://ma-graph.org/entity/
dbpedia-frhttp://fr.dbpedia.org/resource/
prop-frhttp://fr.dbpedia.org/property/
provhttp://www.w3.org/ns/prov#
xsdhhttp://www.w3.org/2001/XMLSchema#
n9ftp://ftp.cis.upenn.edu/pub/papers/gallier/
wikidatahttp://www.wikidata.org/entity/
dbrhttp://dbpedia.org/resource/

Statements

Subject Item
dbpedia-fr:Théorème_de_Kruskal
rdfs:label
Satz von Kruskal Kruskal's tree theorem Teorema de los árboles de Kruskal Théorème de Kruskal
rdfs:comment
En mathématiques, le théorème des arbres de Kruskal est un résultat de théorie des graphes conjecturé en 1937 par Andrew Vázsonyi et démontré indépendamment en 1960 par Joseph Kruskal et S. Tarkowski, affirmant que l'ensemble des arbres étiquetés par un ensemble muni d'un bel ordre est lui-même muni d'un bel ordre. Ce théorème est un cas particulier du théorème de Robertson-Seymour, dont il a constitué une des motivations. En utilisant ce théorème, Harvey Friedman a pu définir des entiers « incompréhensiblement grands », qu'il a utilisé pour obtenir des résultats nouveaux d'indécidabilité.
owl:sameAs
dbr:Kruskal's_tree_theorem dbpedia-de:Satz_von_Kruskal dbpedia-pl:Teoria_Drzew_Kruskala dbpedia-es:Teorema_de_los_árboles_de_Kruskal dbpedia-ru:Теорема_Краскала n21:201935454 n22:09pjg1 wikidata:Q3527100 dbpedia-fa:قضیه_درخت_کروسکال
dbo:wikiPageID
5829180
dbo:wikiPageRevisionID
171501537
dbo:wikiPageWikiLink
dbpedia-fr:Andrew_Vázsonyi dbpedia-fr:Ensemble_bien_ordonné dbpedia-fr:Théorème_de_Goodstein dbpedia-fr:Hiérarchie_de_croissance_rapide dbpedia-fr:Théorèmes_d'incomplétude_de_Gödel category-fr:Grand_nombre dbpedia-fr:Calcul_des_prédicats dbpedia-fr:Lemme_de_Higman dbpedia-fr:Arbre_enraciné dbpedia-fr:Notation_des_puissances_itérées_de_Knuth dbpedia-fr:Relation_symétrique dbpedia-fr:Grand_nombre dbpedia-fr:Bel_ordre dbpedia-fr:Théorème_de_Robertson-Seymour dbpedia-fr:Arithmétique_du_second_ordre dbpedia-fr:Association_for_Symbolic_Logic dbpedia-fr:Mathématiques dbpedia-fr:Logique_mathématique dbpedia-fr:Fonction_d'Ackermann dbpedia-fr:Mineur_(théorie_des_graphes) dbpedia-fr:Harvey_Friedman dbpedia-fr:Antichaîne dbpedia-fr:Isomorphisme dbpedia-fr:Relation_antisymétrique dbpedia-fr:Préordre dbpedia-fr:Graphe_acyclique dbpedia-fr:Injection_(mathématiques) dbpedia-fr:Nombre_ordinal dbpedia-fr:Arbre_(mathématiques) dbpedia-fr:Décidabilité dbpedia-fr:Ordinal_de_Feferman-Schütte dbpedia-fr:Graphe_(mathématiques_discrètes) dbpedia-fr:Relation_d'ordre dbpedia-fr:Arbre_(théorie_des_graphes) dbpedia-fr:Joseph_Kruskal dbpedia-fr:Fonction_récursive_primitive dbpedia-fr:Axiomes_de_Peano dbpedia-fr:Théorie_des_ensembles dbpedia-fr:Graphe_connexe dbpedia-fr:Nombre_de_Graham dbpedia-fr:Morphisme dbpedia-fr:Théorie_des_graphes category-fr:Théorème_de_la_théorie_des_graphes
dbo:wikiPageExternalLink
n5:bastien-legloannec.pdf n9:kruskal1.pdf n9:kruskal3.pdf n9:kruskal2.pdf
dbo:wikiPageLength
16438
dct:subject
category-fr:Théorème_de_la_théorie_des_graphes category-fr:Grand_nombre
prop-fr:wikiPageUsesTemplate
n6:Portail n6:Article n11:Référence n6:Théorème n6:Voir_homonyme n6:Article_détaillé n6:Lien n6:Chapitre n6:MathSciNet n6:Ouvrage n6:Exp n6:Références
prov:wasDerivedFrom
wikipedia-fr:Théorème_de_Kruskal?oldid=171501537&ns=0
prop-fr:année
1963 1960 2002 1991 1985
prop-fr:collection
Lect. Notes Log. Studies in Logic and the Foundations of Mathematics
prop-fr:doi
10.2307 10.1017
prop-fr:fr
petit ordinal de Veblen
prop-fr:journal
Math. Proc. Cambridge Phil. Soc. Trans. Amer. Math. Soc. Ann. Pure Appl. Logic
prop-fr:langue
en
prop-fr:lienAuteur
Harvey Friedman Crispin Nash-Williams Joseph Kruskal
prop-fr:lienPériodique
Transactions of the American Mathematical Society
prop-fr:lieu
Urbana, IL
prop-fr:nom
Gallier Simpson Friedman Kruskal Nash-Williams
prop-fr:numéro
4 2 3
prop-fr:pages
199 210
prop-fr:passage
60 833 87
prop-fr:prénom
C. St.J. A. Stephen J. B. Jean H. Harvey
prop-fr:titre
On well-quasi-ordering finite trees Internal finite tree embeddings. Reflections on the foundations of mathematics Well-quasi-ordering, the tree theorem, and Vazsonyi's conjecture What's so special about Kruskal's theorem and the ordinal Γ0? A survey of some results in proof theory Nonprovability of certain combinatorial properties of finite trees
prop-fr:titreOuvrage
Harvey Friedman's Research on the Foundations of Mathematics
prop-fr:trad
small Veblen ordinal
prop-fr:volume
53 59 95
prop-fr:éditeur
dbpedia-fr:Association_for_Symbolic_Logic North-Holland
prop-fr:numéroDansCollection
15
prop-fr:month
May
foaf:isPrimaryTopicOf
wikipedia-fr:Théorème_de_Kruskal
dbo:namedAfter
dbpedia-fr:Joseph_Kruskal
dbo:abstract
En mathématiques, le théorème des arbres de Kruskal est un résultat de théorie des graphes conjecturé en 1937 par Andrew Vázsonyi et démontré indépendamment en 1960 par Joseph Kruskal et S. Tarkowski, affirmant que l'ensemble des arbres étiquetés par un ensemble muni d'un bel ordre est lui-même muni d'un bel ordre. Ce théorème est un cas particulier du théorème de Robertson-Seymour, dont il a constitué une des motivations. En utilisant ce théorème, Harvey Friedman a pu définir des entiers « incompréhensiblement grands », qu'il a utilisé pour obtenir des résultats nouveaux d'indécidabilité.