Product decomposition of a -ring
Jozef Dravecký (1985)
Mathematica Slovaca
Similarity:
Jozef Dravecký (1985)
Mathematica Slovaca
Similarity:
Noboru Endou, Kazuhisa Nakasho, Yasunari Shidama (2015)
Formalized Mathematics
Similarity:
In this article, semiring and semialgebra of sets are formalized so as to construct a measure of a given set in the next step. Although a semiring of sets has already been formalized in [13], that is, strictly speaking, a definition of a quasi semiring of sets suggested in the last few decades [15]. We adopt a classical definition of a semiring of sets here to avoid such a confusion. Ring of sets and algebra of sets have been formalized as non empty preboolean set [23] and field of subsets...
Alexander Abian (1986)
Archivum Mathematicum
Similarity:
Konstantin Igorevich Beidar (1982)
Czechoslovak Mathematical Journal
Similarity: