Kruskal's tree theorem
Robertson-Seymour theorem
Cantor-Bendixson theorem
pluperfection
Zermelo's theorem
set theory
axiom of infinity
Ramsey's theorem
formula
Cantor's theorem
Matiyasevich's theorem
Gleason's theorem
ℝ-order tree
uniruled
productive
creative
Feit-Thompson theorem
Neukirch-Uchida theorem
semicreative
Sperner's theorem
Richardson's theorem
Lindelöf covering theorem
de Bruijn-Erdős theorem
normed
Galileo's paradox
axiomatic system
diffeology
logical proof
axiom of choice
finitary
computable
intermediate value theorem
Helly family
Desargues configuration
complex projective line
pluperfect
mathematical group
plane tree
cofinite topology
group
order type
categorify
Alexandrov topology
Størmer's theorem
algebraic variety
subdrawing
theorem
pigeonhole principle
π-system
cabined
uncountably
linear algebra
dessin d'enfant
categorification
decategorification
quotient set
superconformally
alphabet
algebra
collection
rational root theorem
Mittag-Leffler's theorem
perfect
block design
hyperarithmetic
Löwenheim-Skolem theorem
pseudovariety
graph-theoretically
quasivariety
axiom of pairing
Gödel's incompleteness theorem
moonshine
sheaf
Hurwitz surface
epsilontic
weakening
sporadic group
ring
domain
logic circuit
Dickson's conjecture
theory
melonic
multialgebra
Sylow theorem
Hjelmslev's theorem
algebraic group
axiom system
act
propositional logic
central limit theorem
improper integral
Schinzel's hypothesis H
presemifield
hyperreal number
propositional calculus
disjoint

English words for 'A theorem stating that the set of finite trees over a well-quasi-ordered set of labels is itself well-quasi-ordered under homeomorphic embedding.'

As you may have noticed, above you will find words for "A theorem stating that the set of finite trees over a well-quasi-ordered set of labels is itself well-quasi-ordered under homeomorphic embedding.". Hover the mouse over the word you'd like to know more about to view its definition. Click search related words by phrase or description. to find a better fitting word. Finally, thanks to ChatGPT, the overall results have been greatly improved.

Recent Queries

tensely to make a note of octagon to intervene. To waste away Lord of Misrule. to cause trouble holy of holies probably. choker now that you mention it opposed to Zionism. to steal the show (corporate) restructuring cylindrical bag a division anaerobic Chinese studies. to read and understand awkwardness let's to mint lies Trinity brucine two-way. fluorspar page break café traveling incognito fondling campground to uncover dried out rear seat to pen piping hot protean kind. photomontage curfew pool weary scram poor village small-minded humidity one after the other door to settle down