Finite product of semiring of sets

DOI10.1515/FORMA-2015-0011zbMath1318.28003OpenAlexW2281582997MaRDI QIDQ491775

Roland Coghetto

Publication date: 19 August 2015

Published in: Formalized Mathematics (Search for Journal in Brave)

Full work available at URL: https://doi.org/10.1515/forma-2015-0011

zbMATH Keywords

set partitionssemiring of sets

Mathematics Subject Classification ID

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

Cites Work

• Semiring of sets
• About the notion of semiring of sets.
• \(\sigma\)-ring and \(\sigma\)-algebra of sets
• Semantics of MML Query - Ordering
• Unnamed Item
• Unnamed Item

This page was built for publication: Finite product of semiring of sets