Abstract:
We present multisets in the framework of the Fraenkel-Mostowski set theory.
We extend the notion of multiset over a finite alphabet by considering the
notion of algebraically finitely supported multiset over a possibly
infinite alphabet. We study the correspondence between some properties
of multisets obtained in the Fraenkel-Mostowski framework (where only
finitely supported elements are allowed) and those obtained in the
classical Zermelo-Fraenkel framework.
Key Words: Fraenkel-Mostowski set theory,
finitely supported elements, extended multiset, nominal monoid.
2010 Mathematics Subject Classification: Primary: 03E75;
Secondary: 08A70, 20B40.
Download the paper in pdf format here.