Skip to content

Sections

Maps Timeline Graph Cosmos Life Culture Innovation People Climate Trends Art

Browse Dictionary Books Search

© 2026 Vinony · Knowledge from Wikipedia, Wikidata, and 27 public APIs.

Kruskal's tree theorem · Vinony

🌐English

English Deutsch Español Français Polski Русский فارسی 한국어 中文日本語

EntityQ3527100· pop 10· linked from 160 articles

Kruskal's tree theorem

well-quasi-ordering of finite trees

Connections

partially ordered set

reverse mathematics

Categories

Mathematical logic Order theory Theorems in discrete mathematics Trees (graph theory)Wellfoundedness

Sources

wikipedia.externallinksexternallink

tree

Entity

Ackermann function

well-founded relation

ordered vector space

International Standard Book Number

mathematical proof

digital object identifier

Sign in to save

Similar entities

Discovered by embedding cosine similarity (sentence-transformers MiniLM, 384-dim).

Feferman–Schütte ordinal

Entitydist 0.54

Stern–Brocot tree

Entitydist 0.55

Kleene fixed-point theorem

Entitydist 0.59

Order of Klement Gottwald

Entitydist 0.61

Entitydist 0.62

Hundred Horse Chestnut

Entitydist 0.62

well-ordering principle

Entitydist 0.63

Category:Shadhili order

Entitydist 0.63

Category:Qadiri order

Entitydist 0.64

Category:Indus Kohistani lemmas

Entitydist 0.64

Category:Pattani Malay lemmas

Entitydist 0.64

Feit–Thompson theorem

Entitydist 0.64

What links here160 pages

Graham's number

Knuth's up-arrow notation

well-founded relation

indefinite and fictitious numbers

orders of magnitude

Crispin Nash-Williams

reflexive closure

Boolean prime ideal theorem

converse relation

ordered vector space

complemented lattice

1,000,000,000,000

Szpilrajn extension theorem