Semiring of sets

DOI10.2478/FORMA-2014-0008zbMath1298.28002OpenAlexW1029783734MaRDI QIDQ467814

Roland Coghetto

Publication date: 5 November 2014

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

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

zbMATH Keywords

setsdistributive latticeset partitions

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) Partition relations (03E02)

Related Items (1)

Finite product of semiring of sets

Cites Work

• Unnamed Item
• About the notion of semiring of sets.

This page was built for publication: Semiring of sets