Generalized Multisets: From ZF to FSM

keywords: Generalized multiset, invariant set, finitely supported mathematics, invariant group, infinite alphabet
We study generalized multisets (multisets that allow possible negative multiplicities) both in the Zermelo-Fraenkel framework and in the finitely supported mathematics. We extend the notion of generalized multiset over a finite alphabet, and we replace it by the notion of algebraically finitely supported generalized multiset over a possibly infinite alphabet. We analyze the correspondence between some properties of generalized multisets obtained in finitely supported mathematics where only finitely supported objects are allowed, and those obtained in the classical Zermelo-Fraenkel framework.
mathematics subject classification 2000: 03B15, 03E30, 20A10, 20E05
reference: Vol. 34, 2015, No. 5, pp. 1133–1150