Mathematics of multisets in the Fraenkel-Mostowski framework

MaRDI QIDQ2941242zbMATH OpenFDO

Authors Andrei Alexandru, Gabriel Ciobanu

Publication date 27 August 2015

zbMATH Keywords

extended multisetfinitely supported elementsFraenkel-Mostowski set theorynominal monoid

Mathematics Subject Classification ID

Logic in computer science (03B70) Nonclassical and second-order set theories (03E70) Applications of set theory (03E75)

Recommendations

• Generalized multisets: from ZF to FSM
• Multiset theory
• Multisets, heaps, bags, families: what is a multiset?
• A single-sorted theory of multisets
• scientific article; zbMATH DE number 30931

Cited in

(11)

• Dedekind multisets and function shells
• Denotational semantics of membrane systems by using complete metric spaces
• Fuzzy sets within finitely supported mathematics
• An outline of multiset space algebra
• Continuation passing semantics for membrane systems
• scientific article; zbMATH DE number 2080939 (Why is no real title available?)
• Generalized multisets: from ZF to FSM
• Multisets in type theory
• Relaxing the Fraenkel-Mostowski set theory
• Variants of spiking neural P systems and their operational semantics in Haskell
• A process calculus for spiking neural P systems

This page was built for publication: Mathematics of multisets in the Fraenkel-Mostowski framework

Report a bug (only for logged in users!)Click here to report a bug for this page (MaRDI item Q2941242)