A single-sorted theory of multisets

DOI10.1215/00294527-2688042zbMath1337.03081OpenAlexW2084340327MaRDI QIDQ740200

Hoang-Vu Dang

Publication date: 2 September 2014

Published in: Notre Dame Journal of Formal Logic (Search for Journal in Brave)

Full work available at URL: https://projecteuclid.org/euclid.ndjfl/1406034049

zbMATH Keywords

antifoundationmultisetaxiomatic theory

Mathematics Subject Classification ID

Applications of set theory (03E75) Nonclassical and second-order set theories (03E70)

Related Items (1)

Unnamed Item

Cites Work

• Unnamed Item
• Unnamed Item
• Unnamed Item
• Negative membership
• Multiset theory
• Dedekind multisets and function shells
• Finality regained: A coalgebraic study of Scott-sets and multisets
• A lattice-theoretical fixpoint theorem and its applications

This page was built for publication: A single-sorted theory of multisets