Partial well‐ordering of sets of vectors

From MaRDI portal
Revision as of 05:35, 7 March 2024 by Import240305080351 (talk | contribs) (Created automatically from import240305080351)
(diff) ← Older revision | Latest revision (diff) | Newer revision → (diff)

Publication:5829880

DOI10.1112/S0025579300000565zbMath0057.04302MaRDI QIDQ5829880

No author found.

Publication date: 1954

Published in: Mathematika (Search for Journal in Brave)




Related Items (28)

Reverse mathematics, well-quasi-orders, and Noetherian spacesThe micro-world of cographsLabelled well-quasi-order for permutation classesTermination of rewritingInfinitary Noetherian constructions I. Infinite wordsHandling infinitely branching well-structured transition systemsThe FEP for some varieties of fully distributive knotted residuated latticesFixed points and Noetherian topologiesWell-quasi-ordering Friedman ideals of finite trees proof of Robertson's magic-tree conjectureComplete ordered sets with no infinite antichainsFinite dimensional scattered posetsOn well-quasi-ordering finite structures with labelsUnnamed ItemBetter quasi-orders for uncountable cardinalsWell, Better and In-BetweenOn Ordinal Invariants in Well Quasi Orders and Finite Antichain OrdersThe Ideal Approach to Computing Closed Subsets in Well-Quasi-orderingsWell-Partial Orderings and their Maximal Order TypesFrom wqo to bqo, via Ellentuck's theoremAll normal extensions of S5-squared are finitely axiomatizableFinite generation of symmetric idealsOn Better-Quasi-Ordering Countable Series-Parallel OrdersLinearizing well quasi-orders and bounding the length of bad sequencesSur les premeilleurs ordres. (On prémeilleurs orderings)The theory of well-quasi-ordering: a frequently discovered conceptUne généralisation des théorèmes de Higman et de Simon aux mots infinisThe Erdős-Dushnik-Miller theorem for topological graphs and ordersWell-Quasi-Ordering Infinite Graphs with Forbidden Finite Planar Minor




Cites Work




This page was built for publication: Partial well‐ordering of sets of vectors