A single-sorted theory of multisets
type: Item
instance of: scholarly article
title: A single-sorted theory of multisets
zbMATH Open document ID: 1337.03081
DOI: 10.1215/00294527-2688042
author: Hoang-Vu Dang
published in: Notre Dame Journal of Formal Logic
publication date: 2014-09-02T00:00:00Z
full work available at URL: https://projecteuclid.org/euclid.ndjfl/1406034049
Mathematics Subject Classification ID: 03E75
Mathematics Subject Classification ID: 03E70
zbMATH DE Number: 6338770
zbMATH Keywords: multiset
zbMATH Keywords: axiomatic theory
zbMATH Keywords: antifoundation
MaRDI profile type: Publication
OpenAlex ID: W2084340327
cites work: Q3992552
cites work: Multiset theory
cites work: Negative membership
cites work: Q3987177
cites work: Dedekind multisets and function shells
cites work: Finality regained: A coalgebraic study of Scott-sets and multisets
cites work: Q4956001
cites work: A lattice-theoretical fixpoint theorem and its applications
Recommended article: A systematization of fundamentals of multisets
Recommended article: Multiset theory
Recommended article: Mathematics of multisets: a unified approach
Recommended article: Generalized multiset theory
Recommended article: Many-sorted and single-sorted algebras
Recommended article: A note on interpretations of many-sorted theories
Recommended article: The linear logic of multisets
Recommended article: Multisets in type theory
Recommended article: Q5690729
Recommended article: Complementation in multiset theory
description: scientific article; zbMATH DE number 6338770