| Property |
Value |
| dbo:abstract
|
- En mathématiques, le lemme de Higman est un résultat de la théorie des ordres qui affirme que, pour un ensemble muni d'un bel ordre, l'ensemble des mots finis sur muni de l'ordre sous-mot est également un bel ordre. C'est un cas particulier du théorème de Kruskal sur les arbres, qui se généralise à son tour en le théorème de Robertson-Seymour sur les graphes. Ce lemme est dû à Graham Higman, qui l'a publié en 1952. (fr)
- En mathématiques, le lemme de Higman est un résultat de la théorie des ordres qui affirme que, pour un ensemble muni d'un bel ordre, l'ensemble des mots finis sur muni de l'ordre sous-mot est également un bel ordre. C'est un cas particulier du théorème de Kruskal sur les arbres, qui se généralise à son tour en le théorème de Robertson-Seymour sur les graphes. Ce lemme est dû à Graham Higman, qui l'a publié en 1952. (fr)
|
| dbo:namedAfter
| |
| dbo:wikiPageExternalLink
| |
| dbo:wikiPageID
| |
| dbo:wikiPageLength
|
- 1249 (xsd:nonNegativeInteger)
|
| dbo:wikiPageRevisionID
| |
| dbo:wikiPageWikiLink
| |
| prop-fr:année
| |
| prop-fr:auteur
|
- Bastien Legloannec (fr)
- Bastien Legloannec (fr)
|
| prop-fr:site
| |
| prop-fr:url
|
- http://perso.ens-lyon.fr/eric.thierry/Graphes2009/bastien-legloannec.pdf|titre=Beaux ordres et graphes (fr)
- http://perso.ens-lyon.fr/eric.thierry/Graphes2009/bastien-legloannec.pdf|titre=Beaux ordres et graphes (fr)
|
| prop-fr:wikiPageUsesTemplate
| |
| dct:subject
| |
| rdfs:comment
|
- En mathématiques, le lemme de Higman est un résultat de la théorie des ordres qui affirme que, pour un ensemble muni d'un bel ordre, l'ensemble des mots finis sur muni de l'ordre sous-mot est également un bel ordre. C'est un cas particulier du théorème de Kruskal sur les arbres, qui se généralise à son tour en le théorème de Robertson-Seymour sur les graphes. Ce lemme est dû à Graham Higman, qui l'a publié en 1952. (fr)
- En mathématiques, le lemme de Higman est un résultat de la théorie des ordres qui affirme que, pour un ensemble muni d'un bel ordre, l'ensemble des mots finis sur muni de l'ordre sous-mot est également un bel ordre. C'est un cas particulier du théorème de Kruskal sur les arbres, qui se généralise à son tour en le théorème de Robertson-Seymour sur les graphes. Ce lemme est dû à Graham Higman, qui l'a publié en 1952. (fr)
|
| rdfs:label
|
- Lemme de Higman (fr)
- Lemme de Higman (fr)
|
| owl:sameAs
| |
| prov:wasDerivedFrom
| |
| foaf:isPrimaryTopicOf
| |
| is dbo:wikiPageWikiLink
of | |
| is oa:hasTarget
of | |
| is foaf:primaryTopic
of | |
