Partial orderings for sets of multisets (Q1821780)
From MaRDI portal
scientific article
Language | Label | Description | Also known as |
---|---|---|---|
English | Partial orderings for sets of multisets |
scientific article |
Statements
Partial orderings for sets of multisets (English)
0 references
1985
0 references
It is shown that if \((S,<)\), a poset, does not contain an infinite descending chain, then neither do some naturally defined posets on the set of finite sub-multisets, i.e. functions f:T\(\to N\), where T is a finite subset of S, N is the set of natural numbers. The author identifies the cases of the axiom of choice used in the proofs.
0 references
multisets
0 references
well-founded sets
0 references
axiom of choice
0 references