Pages that link to "Item:Q5829880"
From MaRDI portal
The following pages link to Partial well‐ordering of sets of vectors (Q5829880):
Displaying 26 items.
- Reverse mathematics, well-quasi-orders, and Noetherian spaces (Q283113) (← links)
- Linearizing well quasi-orders and bounding the length of bad sequences (Q744984) (← links)
- The micro-world of cographs (Q831855) (← links)
- On well-quasi-ordering finite structures with labels (Q912875) (← links)
- Une généralisation des théorèmes de Higman et de Simon aux mots infinis (Q1062465) (← links)
- The Erdős-Dushnik-Miller theorem for topological graphs and orders (Q1063007) (← links)
- Termination of rewriting (Q1098624) (← links)
- Complete ordered sets with no infinite antichains (Q1155071) (← links)
- Better quasi-orders for uncountable cardinals (Q1171568) (← links)
- From wqo to bqo, via Ellentuck's theorem (Q1201238) (← links)
- Handling infinitely branching well-structured transition systems (Q1686118) (← links)
- The FEP for some varieties of fully distributive knotted residuated lattices (Q1686329) (← links)
- All normal extensions of S5-squared are finitely axiomatizable (Q1770622) (← links)
- Finite dimensional scattered posets (Q2434747) (← links)
- Sur les premeilleurs ordres. (On ''prémeilleurs'' orderings) (Q2548260) (← links)
- The theory of well-quasi-ordering: a frequently discovered concept (Q2554710) (← links)
- Well, Better and In-Between (Q3295144) (← links)
- On Ordinal Invariants in Well Quasi Orders and Finite Antichain Orders (Q3295145) (← links)
- The Ideal Approach to Computing Closed Subsets in Well-Quasi-orderings (Q3295146) (← links)
- Well-Partial Orderings and their Maximal Order Types (Q3295157) (← links)
- Finite generation of symmetric ideals (Q3595013) (← links)
- Well-Quasi-Ordering Infinite Graphs with Forbidden Finite Planar Minor (Q3831057) (← links)
- On Better-Quasi-Ordering Countable Series-Parallel Orders (Q4955694) (← links)
- Labelled well-quasi-order for permutation classes (Q5051473) (← links)
- Infinitary Noetherian constructions I. Infinite words (Q5074202) (← links)
- Well-quasi-ordering Friedman ideals of finite trees proof of Robertson's magic-tree conjecture (Q6144398) (← links)
