Dedekind multisets and function shells (Q1210541)
From MaRDI portal
scientific article
| Language | Label | Description | Also known as |
|---|---|---|---|
| English | Dedekind multisets and function shells |
scientific article |
Statements
Dedekind multisets and function shells (English)
0 references
30 August 1993
0 references
The author extends his axiomatization of multisets with finite multiplicities [Notre Dame J. Formal Logic 30, 36-66 (1989; Zbl 0668.03027)] to a corresponding theory for arbitrary multisets. Additionally, he describes an interpretation of this theory using function shells, i.e., suitable representatives of multisets within the ZF world.
0 references
axiomatization of multisets
0 references
function shells
0 references
