Semiring of sets

DOI10.2478/FORMA-2014-0008MaRDI QIDQ467814zbMATH OpenOpenAlexFDO

Authors Roland Coghetto

Publication date 5 November 2014

Published in Formalized Mathematics (Search for Journal in Brave)

Copyright license Creative Commons Attribution-NonCommercial-NoDerivs 3.0 Unported

Full work available at URL https://doi.org/10.2478/forma-2014-0008

zbMATH Keywords

distributive latticeset partitionssets

Mathematics Subject Classification ID

Mechanization of proofs and logical operations (03B35) Partition relations (03E02) Classes of sets (Borel fields, (sigma)-rings, etc.), measurable sets, Suslin sets, analytic sets (28A05)

Recommendations

• Semiring of sets: examples
• About the notion of semiring of sets.
• -ring and -algebra of sets
• ON AN ALGEBRAIZATION OF MEASURE THEORY. ABSTRACT SEMIRINGS
• scientific article; zbMATH DE number 4205377

Cites work

• About the notion of semiring of sets.
• scientific article; zbMATH DE number 4197282 (Why is no real title available?)

Cited in

(8)

• About the notion of semiring of sets.
• Almost semirecursive sets
• -ring and -algebra of sets
• scientific article; zbMATH DE number 5984423 (Why is no real title available?)
• scientific article; zbMATH DE number 4204719 (Why is no real title available?)
• ON AN ALGEBRAIZATION OF MEASURE THEORY. ABSTRACT SEMIRINGS
• Semiring of sets: examples
• Finite product of semiring of sets

This page was built for publication: Semiring of sets

Report a bug (only for logged in users!)Click here to report a bug for this page (MaRDI item Q467814)