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
    0 references

    Identifiers

    0 references
    0 references
    0 references
    0 references
    0 references