Dedekind multisets and function shells
type: Item
instance of: scholarly article
title: Dedekind multisets and function shells
zbMATH Open document ID: 0782.03027
DOI: 10.1016/0304-3975(93)90351-S
author: Wayne D. Blizard
published in: Theoretical Computer Science
publication date: 1993-08-30T00:00:00Z
review text: 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.
Mathematics Subject Classification ID: 03E70
Mathematics Subject Classification ID: 03E35
Mathematics Subject Classification ID: 03E99
Mathematics Subject Classification ID: 03E20
zbMATH DE Number: 179578
zbMATH Keywords: axiomatization of multisets
zbMATH Keywords: function shells
reviewed by: Siegfried J. Gottwald
MaRDI profile type: Publication
cites work: Multiset theory
cites work: Q5719494
cites work: A note on the concept of multiset
cites work: Sets, Fuzzy Sets, Multisets and Functions
cites work: Q4189277
cites work: A geometrical approach to multiset orderings
cites work: The cardinal module and some theorems on families of sets
full work available at URL: 0304-3975(93)90351-s
OpenAlex ID: W2056700339
description: scientific article; zbMATH DE number 179578