Semiring of sets: examples
From MaRDI portal
Publication:467815
DOI10.2478/FORMA-2014-0009zbMath1298.28003OpenAlexW1488124067MaRDI QIDQ467815
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-0009
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)
Cites Work
This page was built for publication: Semiring of sets: examples