About: Kruskal's tree theorem

Facets (new session)
Description
Metadata
Settings
- owl:sameAs
- Inference Rule:

About: Kruskal's tree theorem Goto Sponge NotDistinct Permalink

An Entity of Type : owl:Thing, within Data Space : fr.dbpedia.org associated with source document(s)

Attributes	Values
rdfs:label	Kruskal's tree theorem (en) Satz von Kruskal (de) Teorema de los árboles de Kruskal (es) Théorème de Kruskal (fr)
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é. (fr)
sameAs	Kruskal's tree theorem Kruskal's tree theorem Kruskal's tree theorem Kruskal's tree theorem Kruskal's tree theorem Kruskal's tree theorem Kruskal's tree theorem Kruskal's tree theorem Kruskal's tree theorem
Wikipage page ID	5829180 (xsd:integer)
Wikipage revision ID	171501537 (xsd:integer)
dbo:wikiPageWikiLink	category-fr:Théorème_de_la_théorie_des_graphes Andrew Vázsonyi dbpedia-fr:Antichaîne Tree (set theory) Tree (graph theory) Tree (data structure) dbpedia-fr:Arithmétique_du_second_ordre Association for Symbolic Logic Peano axioms Well-quasi-ordering First-order logic category-fr:Grand_nombre dbpedia-fr:Décidabilité Well-order Ackermann function Primitive recursive function dbpedia-fr:Grand_nombre dbpedia-fr:Graphe_(mathématiques_discrètes) dbpedia-fr:Graphe_acyclique dbpedia-fr:Graphe_connexe Harvey Friedman Fast-growing hierarchy Injective function Isomorphism dbpedia-fr:Joseph_Kruskal dbpedia-fr:Lemme_de_Higman dbpedia-fr:Logique_mathématique dbpedia-fr:Morphisme dbpedia-fr:Nombre_de_Graham dbpedia-fr:Nombre_ordinal Knuth's up-arrow notation Feferman–Schütte ordinal Preorder Antisymmetric relation Partially ordered set Symmetric relation dbpedia-fr:Théorie_des_ensembles dbpedia-fr:Théorie_des_graphes dbpedia-fr:Théorème_de_Goodstein Robertson–Seymour theorem Gödel's incompleteness theorems dbpedia-fr:Mathématiques dbpedia-fr:Mineur_(théorie_des_graphes)
Link from a Wikipage to an external page	ftp://ftp.cis.upenn.edu/pub/papers/gallier/kruskal2.pdf ftp://ftp.cis.upenn.edu/pub/papers/gallier/kruskal1.pdf ftp://ftp.cis.upenn.edu/pub/papers/gallier/kruskal3.pdf http://perso.ens-lyon.fr/eric.thierry/Graphes2009/bastien-legloannec.pdf
page length (characters) of wiki page	16438 (xsd:nonNegativeInteger)
dct:subject	category-fr:Théorème_de_la_théorie_des_graphes category-fr:Grand_nombre
prop-fr:wikiPageUsesTemplate	dbpedia-fr:Modèle:Article dbpedia-fr:Modèle:Article_détaillé dbpedia-fr:Modèle:Chapitre dbpedia-fr:Modèle:Exp dbpedia-fr:Modèle:Lien dbpedia-fr:Modèle:Ouvrage dbpedia-fr:Modèle:Portail dbpedia-fr:Modèle:Références dbpedia-fr:Modèle:Traduction/Référence dbpedia-fr:Modèle:Voir_homonyme dbpedia-fr:Modèle:Théorème dbpedia-fr:Modèle:MathSciNet
prov:wasDerivedFrom	wikipedia-fr:Théorème_de_Kruskal?oldid=171501537&ns=0
prop-fr:année	1960 (xsd:integer) 1963 (xsd:integer) 1985 (xsd:integer) 1991 (xsd:integer) 2002 (xsd:integer)
prop-fr:collection	Studies in Logic and the Foundations of Mathematics (fr) Lect. Notes Log. (fr)
prop-fr:doi	10 (xsd:double) 10 (xsd:double)
prop-fr:fr	petit ordinal de Veblen (fr)
prop-fr:journal	Trans. Amer. Math. Soc. (fr) Ann. Pure Appl. Logic (fr) Math. Proc. Cambridge Phil. Soc. (fr)
prop-fr:langue	en (fr)
prop-fr:lienAuteur	Crispin Nash-Williams (fr) Harvey Friedman (fr) Joseph Kruskal (fr)
prop-fr:lienPériodique	Transactions of the American Mathematical Society (fr)
prop-fr:lieu	Urbana, IL (fr)
prop-fr:nom	Simpson (fr) Friedman (fr)

Faceted Search & Find service v1.16.111 as of Oct 19 2022

Alternative Linked Data Documents: ODE Content Formats:

RDF

ODATA

Microdata

About

OpenLink Virtuoso version 07.20.3234 as of May 18 2022, on Linux (x86_64-ubuntu_bionic-linux-gnu), Single-Server Edition (39 GB total memory, 12 GB memory in use)
Data on this page belongs to its respective rights holders.
Virtuoso Faceted Browser Copyright © 2009-2024 OpenLink Software