The following pages link to A single-sorted theory of multisets (Q740200):
Displaying 9 items.
- Multiset topologies induced by multiset relations (Q454961) (← links)
- Multiset theory (Q1117926) (← links)
- Dedekind multisets and function shells (Q1210541) (← links)
- Rank, join, and Cantor singletons (Q1387096) (← links)
- Partial orderings for sets of multisets (Q1821780) (← links)
- (Q3240264) (← links)
- On the axioms of multistructures (Q3240265) (← links)
- Multisets in type theory (Q4958648) (← links)
- (Q5087788) (← links)