Pages that link to "Item:Q4190679"
From MaRDI portal
The following pages link to Well-quasi-orderings and sets of finite sequences (Q4190679):
Displaying 22 items.
- Sequences of commutator operations (Q382884) (← links)
- On the number of finite algebraic structures (Q466908) (← links)
- On regularity of context-free languages (Q759489) (← links)
- The micro-world of cographs (Q831855) (← links)
- A finite model theorem for the propositional \(\mu\)-calculus (Q1117213) (← links)
- Complete ordered sets with no infinite antichains (Q1155071) (← links)
- Better quasi-orders for uncountable cardinals (Q1171568) (← links)
- Better-quasi-orderings and coinduction (Q1884898) (← links)
- On the least exponential growth admitting uncountably many closed permutation classes (Q1885903) (← links)
- Counting pattern-free set partitions. I: A generalization of Stirling numbers of the second kind (Q1972357) (← links)
- An infinite antichain of planar tanglegrams (Q2140994) (← links)
- Dickson's lemma, Higman's theorem and beyond: a survey of some basic results in order theory (Q2221497) (← links)
- Forbidden substructures and combinatorial dichotomies: WQO and universality (Q2275384) (← links)
- Analysis of a Double Kruskal Theorem (Q2951923) (← links)
- Well, Better and In-Between (Q3295144) (← links)
- On Ordinal Invariants in Well Quasi Orders and Finite Antichain Orders (Q3295145) (← links)
- Nichtbeweisbarkeit von gewissen kombinatorischen Eigenschaften endlicher Bäume;Unprovability of certain combinatorial properties of finite trees (Q3731598) (← links)
- Labelled well-quasi-order for permutation classes (Q5051473) (← links)
- Infinitary Noetherian constructions I. Infinite words (Q5074202) (← links)
- Generalizing Kruskal's theorem to pairs of cohabitating trees (Q5964929) (← links)
- Laver and set theory (Q5964933) (← links)
- An antichain of monomial ideals in a twisted commutative algebra (Q6498386) (← links)
