| Property |
Value |
| 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é. (fr)
- 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)
|
| dbo:namedAfter
| |
| dbo:wikiPageExternalLink
| |
| dbo:wikiPageID
| |
| dbo:wikiPageLength
|
- 16438 (xsd:nonNegativeInteger)
|
| dbo:wikiPageRevisionID
| |
| dbo:wikiPageWikiLink
| |
| 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)
- Studies in Logic and the Foundations of Mathematics (fr)
- Lect. Notes Log. (fr)
|
| prop-fr:doi
|
- 10.101700 (xsd:double)
- 10.230700 (xsd:double)
|
| prop-fr:fr
|
- petit ordinal de Veblen (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)
- Trans. Amer. Math. Soc. (fr)
- Ann. Pure Appl. Logic (fr)
- Math. Proc. Cambridge Phil. Soc. (fr)
|
| prop-fr:langue
| |
| prop-fr:lienAuteur
|
- Crispin Nash-Williams (fr)
- Harvey Friedman (fr)
- Joseph Kruskal (fr)
- Crispin Nash-Williams (fr)
- Harvey Friedman (fr)
- Joseph Kruskal (fr)
|
| prop-fr:lienPériodique
|
- Transactions of the American Mathematical Society (fr)
- Transactions of the American Mathematical Society (fr)
|
| prop-fr:lieu
|
- Urbana, IL (fr)
- Urbana, IL (fr)
|
| prop-fr:month
| |
| prop-fr:nom
|
- Simpson (fr)
- Friedman (fr)
- Gallier (fr)
- Nash-Williams (fr)
- Kruskal (fr)
- Simpson (fr)
- Friedman (fr)
- Gallier (fr)
- Nash-Williams (fr)
- Kruskal (fr)
|
| prop-fr:numéro
|
- 2 (xsd:integer)
- 3 (xsd:integer)
- 4 (xsd:integer)
|
| prop-fr:numéroDansCollection
| |
| prop-fr:pages
|
- 199 (xsd:integer)
- 210 (xsd:integer)
|
| prop-fr:passage
|
- 60 (xsd:integer)
- 87 (xsd:integer)
- 833 (xsd:integer)
|
| prop-fr:prénom
|
- J. B. (fr)
- Stephen (fr)
- Harvey (fr)
- Jean H. (fr)
- C. St.J. A. (fr)
- J. B. (fr)
- Stephen (fr)
- Harvey (fr)
- Jean H. (fr)
- C. St.J. A. (fr)
|
| prop-fr:titre
|
- What's so special about Kruskal's theorem and the ordinal Γ0? A survey of some results in proof theory (fr)
- Internal finite tree embeddings. Reflections on the foundations of mathematics (fr)
- Well-quasi-ordering, the tree theorem, and Vazsonyi's conjecture (fr)
- On well-quasi-ordering finite trees (fr)
- Nonprovability of certain combinatorial properties of finite trees (fr)
- What's so special about Kruskal's theorem and the ordinal Γ0? A survey of some results in proof theory (fr)
- Internal finite tree embeddings. Reflections on the foundations of mathematics (fr)
- Well-quasi-ordering, the tree theorem, and Vazsonyi's conjecture (fr)
- On well-quasi-ordering finite trees (fr)
- Nonprovability of certain combinatorial properties of finite trees (fr)
|
| prop-fr:titreOuvrage
|
- Harvey Friedman's Research on the Foundations of Mathematics (fr)
- Harvey Friedman's Research on the Foundations of Mathematics (fr)
|
| prop-fr:trad
|
- small Veblen ordinal (fr)
- small Veblen ordinal (fr)
|
| prop-fr:volume
|
- 53 (xsd:integer)
- 59 (xsd:integer)
- 95 (xsd:integer)
|
| prop-fr:wikiPageUsesTemplate
| |
| prop-fr:éditeur
| |
| dct:subject
| |
| 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)
- 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)
|
| rdfs:label
|
- Kruskal's tree theorem (en)
- Satz von Kruskal (de)
- Teorema de los árboles de Kruskal (es)
- Théorème de Kruskal (fr)
|
| owl:sameAs
| |
| prov:wasDerivedFrom
| |
| foaf:isPrimaryTopicOf
| |
| is dbo:wikiPageRedirects
of | |
| is dbo:wikiPageWikiLink
of | |
| is oa:hasTarget
of | |
| is foaf:primaryTopic
of | |
