Partial orderings for sets of multisets

DOI10.1007/BF01188051zbMath0617.04002MaRDI QIDQ1821780

Melven R. Krom

Publication date: 1985

Published in: Algebra Universalis (Search for Journal in Brave)

zbMATH Keywords

axiom of choicemultisetswell-founded sets

Mathematics Subject Classification ID

Partial orders, general (06A06) Ordinal and cardinal numbers (03E10) Axiom of choice and related propositions (03E25)

Related Items (1)

Number theory of matrix semigroups

Cites Work

• Set theory. An introduction to large cardinals
• Proving termination with multiset orderings
• The axiom of choice
• Unnamed Item
• Unnamed Item

This page was built for publication: Partial orderings for sets of multisets