"Gallier"@fr . . . "60"^^ . . . "On well-quasi-ordering finite trees"@fr . . "Lect. Notes Log."@fr . "5829180"^^ . . "C. St.J. A."@fr . "Transactions of the American Mathematical Society"@fr . . "Internal finite tree embeddings. Reflections on the foundations of mathematics"@fr . "Stephen"@fr . . . . "Well-quasi-ordering, the tree theorem, and Vazsonyi's conjecture"@fr . . "833"^^ . "53"^^ . . . . . "Satz von Kruskal"@de . "4"^^ . "Harvey Friedman"@fr . . "2"^^ . "3"^^ . . . "59"^^ . "en"@fr . . . . "J. B."@fr . . "Math. Proc. Cambridge Phil. Soc."@fr . "Kruskal's tree theorem"@en . "Teorema de los \u00E1rboles de Kruskal"@es . "Crispin Nash-Williams"@fr . . . . . . . . . . . . "May"@fr . "Trans. Amer. Math. Soc."@fr . . . . . . . . . "Studies in Logic and the Foundations of Mathematics"@fr . . "What's so special about Kruskal's theorem and the ordinal \u03930? A survey of some results in proof theory"@fr . "199"^^ . . "Simpson"@fr . . . "95"^^ . "petit ordinal de Veblen"@fr . "Jean H."@fr . . "1963"^^ . "1960"^^ . . . . . . . . . "87"^^ . "210"^^ . . . . . "171501537"^^ . . "2002"^^ . . . . . "Harvey Friedman's Research on the Foundations of Mathematics"@fr . "En math\u00E9matiques, le th\u00E9or\u00E8me des arbres de Kruskal est un r\u00E9sultat de th\u00E9orie des graphes conjectur\u00E9 en 1937 par Andrew V\u00E1zsonyi et d\u00E9montr\u00E9 ind\u00E9pendamment en 1960 par Joseph Kruskal et S. Tarkowski, affirmant que l'ensemble des arbres \u00E9tiquet\u00E9s par un ensemble muni d'un bel ordre est lui-m\u00EAme muni d'un bel ordre. Ce th\u00E9or\u00E8me est un cas particulier du th\u00E9or\u00E8me de Robertson-Seymour, dont il a constitu\u00E9 une des motivations. En utilisant ce th\u00E9or\u00E8me, Harvey Friedman a pu d\u00E9finir des entiers \u00AB incompr\u00E9hensiblement grands \u00BB, qu'il a utilis\u00E9 pour obtenir des r\u00E9sultats nouveaux d'ind\u00E9cidabilit\u00E9."@fr . "Joseph Kruskal"@fr . "small Veblen ordinal"@fr . "Urbana, IL"@fr . "Friedman"@fr . . "1991"^^ . "10.2307"^^ . . . "Nonprovability of certain combinatorial properties of finite trees"@fr . "1985"^^ . "10.1017"^^ . "Ann. Pure Appl. Logic"@fr . "Th\u00E9or\u00E8me de Kruskal"@fr . "Harvey"@fr . "15"^^ . . "Kruskal"@fr . . "Nash-Williams"@fr . . . . "En math\u00E9matiques, le th\u00E9or\u00E8me des arbres de Kruskal est un r\u00E9sultat de th\u00E9orie des graphes conjectur\u00E9 en 1937 par Andrew V\u00E1zsonyi et d\u00E9montr\u00E9 ind\u00E9pendamment en 1960 par Joseph Kruskal et S. Tarkowski, affirmant que l'ensemble des arbres \u00E9tiquet\u00E9s par un ensemble muni d'un bel ordre est lui-m\u00EAme muni d'un bel ordre. Ce th\u00E9or\u00E8me est un cas particulier du th\u00E9or\u00E8me de Robertson-Seymour, dont il a constitu\u00E9 une des motivations. En utilisant ce th\u00E9or\u00E8me, Harvey Friedman a pu d\u00E9finir des entiers \u00AB incompr\u00E9hensiblement grands \u00BB, qu'il a utilis\u00E9 pour obtenir des r\u00E9sultats nouveaux d'ind\u00E9cidabilit\u00E9."@fr . . "16438"^^ . "North-Holland"@fr . . .