axioms for hereditary multi-sets

[Alberto Policriti]

Dear FOMers,

can anybody indicate some axiomatic theory of hereditary multi-sets (i.e. multi-sets whose elements are muti-sets)? (I am actually interested in hereditarily finite multi-sets.)

Best,
-alberto policriti
-------------- next part --------------
An HTML attachment was scrubbed...
URL: </pipermail/fom/attachments/20210929/4059e7bb/attachment.html>