Dickson's lemma, Higman's theorem and beyond: a survey of some basic results in order theory

DOI10.1016/J.EXMATH.2019.05.003MaRDI QIDQ2221497zbMATH OpenOpenAlexWikidataFDO

Authors Erhard Aichinger, Florian Aichinger

Publication date 2 February 2021

Published in Expositiones Mathematicae (Search for Journal in Brave)

Full work available at URL https://arxiv.org/abs/1812.03024

zbMATH Keywords

chain conditionDickson's lemmafilterswell partial orderword embedding

Mathematics Subject Classification ID

Ordered sets and their cofinalities; pcf theory (03E04) Partial orders, general (06A06)

Abstract: We provide proofs for the fact that certain orders have no descending chains and no antichains.

Cites work

• A class of rational relations generalising the subword order
• Algebraic simplification
• Antichains of monomial ideals are finite
• Constantive Mal’cev clones on finite sets are finitely related
• Ein algorithmisches Kriterium für die Lösbarkeit eines algebraischen Gleichungssystems
• Finitely generated equational classes
• Finiteness theorems in stochastic integer programming
• Graph minors. XX: Wagner's conjecture
• scientific article; zbMATH DE number 3751028 (Why is no real title available?)
• scientific article; zbMATH DE number 863494 (Why is no real title available?)
• scientific article; zbMATH DE number 3198033 (Why is no real title available?)
• scientific article; zbMATH DE number 3198864 (Why is no real title available?)
• On Better-Quasi-Ordering Countable Series-Parallel Orders
• On Fraissé's order type conjecture
• On the number of finite algebraic structures
• Ordering by Divisibility in Abstract Algebras
• Orderings of monomial ideals
• Sequences of commutator operations
• Well-quasi-orderings and sets of finite sequences

Cited in

(4)

• The lattice of monomial clones on finite fields
• Finite representation of commutator sequences
• Strong Gröbner bases and linear algebra in multivariate polynomial rings over Euclidean domains
• Well quasi-orders, better quasi-orders, and monomial ideals

This page was built for publication: Dickson's lemma, Higman's theorem and beyond: a survey of some basic results in order theory

Report a bug (only for logged in users!)Click here to report a bug for this page (MaRDI item Q2221497)